Logical Foundations of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 23)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030930998, 9783030931001

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Non-hyperarithmetical Gödel Logic

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_1 ◽

2021 ◽

pp. 1-8

Author(s):

Juan Pablo Aguilera ◽

Jan Bydzovsky ◽

David Fernández-Duque

Keyword(s):

Download Full-text

Computational Properties of Partial Non-deterministic Matrices and Their Logics

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_12 ◽

2021 ◽

pp. 180-197

Author(s):

Sérgio Marcelino ◽

Carlos Caleiro ◽

Pedro Filipe

Keyword(s):

Computational Properties

Download Full-text

Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_21 ◽

2021 ◽

pp. 327-345

Author(s):

K. Subramani ◽

Piotr Wojciechowski

Keyword(s):

Parameterized Algorithms ◽

Constraint Systems

Download Full-text

Computability Models over Categories and Presheaves

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_16 ◽

2021 ◽

pp. 253-265

Author(s):

Iosif Petrakis

Download Full-text

Between Turing and Kleene

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_18 ◽

2021 ◽

pp. 281-300

Author(s):

Sam Sanders

Download Full-text

Parametric Church’s Thesis: Synthetic Computability Without Choice

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_6 ◽

2021 ◽

pp. 70-89

Author(s):

Yannick Forster

Keyword(s):

Church’S Thesis ◽

Church's Thesis

Download Full-text

On Inverse Operators in Dynamic Epistemic Logic

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_14 ◽

2021 ◽

pp. 217-235

Author(s):

Shota Motoura ◽

Shin-ya Katsumata

Keyword(s):

Epistemic Logic ◽

Dynamic Epistemic Logic

Download Full-text

Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_4 ◽

2021 ◽

pp. 37-51

Author(s):

Neil J. DeBoer

Keyword(s):

Type Theory ◽

Propositional Logic ◽

Justification Logic ◽

Intuitionistic Propositional Logic

Download Full-text

Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_20 ◽

2021 ◽

pp. 316-326

Author(s):

Rick Statman

Keyword(s):

Lambda Calculus ◽

Combinatory Logic ◽

Finite Generation

Download Full-text

Soundness and Completeness Results for LEA and Probability Semantics

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-93100-1_13 ◽

2021 ◽

pp. 198-216

Author(s):

Eoin Moore

Keyword(s):

Soundness And Completeness ◽

Probability Semantics

Download Full-text