Logic, Language, Information, and Computation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 On Combinatorial Proofs for Logics of Relevance and Entailment
3. Altmetric Badge
   Chapter 2 An Infinitary Treatment of Full Mu-Calculus
4. Altmetric Badge
   Chapter 3 Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality
5. Altmetric Badge
   Chapter 4 Rigid First-Order Hybrid Logic
6. Altmetric Badge
   Chapter 5 The One-Variable Fragment of Corsi Logic
7. Altmetric Badge
   Chapter 6 Analytic Calculi for Monadic PNmatrices
8. Altmetric Badge
   Chapter 7 Non Normal Logics: Semantic Analysis and Proof Theory
9. Altmetric Badge
   Chapter 8 Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics
10. Altmetric Badge
    Chapter 9 Modelling Informational Entropy
11. Altmetric Badge
    Chapter 10 Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
12. Altmetric Badge
    Chapter 11 The McKinsey-Tarski Theorem for Topological Evidence Logics
13. Altmetric Badge
    Chapter 12 A Self-contained Provability Calculus for $$\varGamma _0$$
14. Altmetric Badge
    Chapter 13 Descriptive Complexity of Deterministic Polylogarithmic Time
15. Altmetric Badge
    Chapter 14 A Representation Theorem for Finite Gödel Algebras with Operators
16. Altmetric Badge
    Chapter 15 Bar Induction and Restricted Classical Logic
17. Altmetric Badge
    Chapter 16 Uniform Labelled Calculi for Conditional and Counterfactual Logics
18. Altmetric Badge
    Chapter 17 Bar-Hillel Theorem Mechanization in Coq
19. Altmetric Badge
    Chapter 18 Proof-Net as Graph, Taylor Expansion as Pullback
20. Altmetric Badge
    Chapter 19 Complexity Thresholds in Inclusion Logic
21. Altmetric Badge
    Chapter 20 The Multiresolution Analysis of Flow Graphs
22. Altmetric Badge
    Chapter 21 An Exponential Lower Bound for Proofs in Focused Calculi
23. Altmetric Badge
    Chapter 22 The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later
24. Altmetric Badge
    Chapter 23 L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit
25. Altmetric Badge
    Chapter 24 Logics for First-Order Team Properties
26. Altmetric Badge
    Chapter 25 Modal Auxiliaries and Negation: A Type-Logical Account
27. Altmetric Badge
    Chapter 26 Subset Models for Justification Logic
28. Altmetric Badge
    Chapter 27 Algebraic Semantics for Quasi-Nelson Logic
29. Altmetric Badge
    Chapter 28 A Case for Property-Type Semantics
30. Altmetric Badge
    Chapter 29 Note on Globally Sound Analytic Calculi for Quantifier Macros
31. Altmetric Badge
    Chapter 30 Closure Ordinals of the Two-Way Modal $$\mu $$ -Calculus
32. Altmetric Badge
    Chapter 31 SIXTEEN $$_3$$ in Light of Routley Stars
33. Altmetric Badge
    Chapter 32 An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra
34. Altmetric Badge
    Chapter 33 Reverse Mathematics and Computability Theory of Domain Theory
35. Altmetric Badge
    Chapter 34 Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs
36. Altmetric Badge
    Chapter 35 On First-Order Expressibility of Satisfiability in Submodels
37. Altmetric Badge
    Chapter 36 Substructural Propositional Dynamic Logics
38. Altmetric Badge
    Chapter 37 Modal Logics of Finite Direct Powers of $$\omega $$ Have the Finite Model Property
39. Altmetric Badge
    Chapter 38 Knowledge Without Complete Certainty
40. Altmetric Badge
    Chapter 39 A Framework for Distributional Formal Semantics
41. Altmetric Badge
    Chapter 40 Weak Conservativity