1 Table of Contents: “...Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial...”

2 Table of Contents: “...Nadia Busi (1968–2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models...”

3 Table of Contents: “... Theorems and Skolemization for Prenex Fuzzy Logics -- Decidability of Hybrid Logic with Local Common...”

4 Subjects: “...Logic...”

5 Table of Contents: “... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”

6 Table of Contents: “... -- Logic and Control -- Nash Stability in Additively Separable Hedonic Games Is NP-Hard -- Comparing...”

7 Subjects: “...Computer Science Logic and Foundations of Programming...”

8 Table of Contents: “... in the Theory of Aggregation -- Logic and Data Exchange: Which Solutions Are “Good” Solutions? -- Preference...”

9 Table of Contents: “... -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy...”

10 Subjects: “...Mathematical logic...”

11 Subjects: “...Mathematical logic...”

12 Table of Contents: “...The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy...”

13 Subjects: “...Mathematical logic...”

14 “...Lecture notes in logic...”

15 “...Lecture notes in logic...”

16 “...Lecture notes in logic...”

17 “...Lecture notes in logic...”

18 Table of Contents: “... Logic? -- Quasi-linear Dialectica Extraction -- Computing with Concepts, Computing with Numbers: Llull...”

19 Table of Contents: “... of Some Strong Reducibilities -- Complexity of Existential Positive First-Order Logic -- Stochastic...”

20 Table of Contents: “... -- A Logical Approach to Abstract Algebra -- Schnorr Dimension -- Abstract Geometrical Computation...”