1 Table of Contents: “... as Failure -- III.7 Negation and Nonmonotonic Logic -- III.8 Computability and Undecidability -- IV: Modal...”

2 Table of Contents: “... -- 6 Negation as Failure -- 7 Negation and Nonmonotonic Logic -- 8 Computability and Undecidability...”

3 Table of Contents: “...The isomorphism conjecture and its generalizations -- Some lectures on intuitionistic logic...”

4 Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”

5 Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”

6 Table of Contents: “...Complexity results for abductive logic programming -- A terminological interpretation of (abductive...”

7 Table of Contents: “... knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning...”

8 Table of Contents: “...Constructive mathematics and type theory -- Logic, automata and automatic structures...”

9

10

11 Subjects: “...Logic design...”

12 Subjects: “...Mathematical Logic and Formal Languages...”

13 Table of Contents: “... in Formal Provability Logic -- A Synthesis Algorithm for Hybrid Systems -- Including the Past in ‘Topologic...”

14 Table of Contents: “... for Memory Logics -- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination...”

15 Table of Contents: “... via Optimal Hypersequent Calculi for Non-Normal Modal Logics -- Completeness Theorems for First-Order...”

16 Table of Contents: “...A Non-Hyperarithmetical Gödel Logic -- Shorten Resolution Proofs Non-Elementarily...”

17 Table of Contents: “...A decidable fragment of second order linear logic -- Some results on Propositional Dynamic Logic...”

18 Table of Contents: “...Representing null values in logic programming -- Comparing cubes -- A logic of capabilities -- Weak...”

19 Subjects: “...Logic programming / Congresses...”

20