Logical Foundations of Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
3. Altmetric Badge
   Chapter 2 Completeness Results for Memory Logics
4. Altmetric Badge
   Chapter 3 Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
5. Altmetric Badge
   Chapter 4 Temporalization of Probabilistic Propositional Logic
6. Altmetric Badge
   Chapter 5 Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
7. Altmetric Badge
   Chapter 6 The Logic of Proofs as a Foundation for Certifying Mobile Computation
8. Altmetric Badge
   Chapter 7 ATL with Strategy Contexts and Bounded Memory
9. Altmetric Badge
   Chapter 8 A Relational Model of a Parallel and Non-deterministic λ -Calculus
10. Altmetric Badge
    Chapter 9 The NP-Completeness of Reflected Fragments of Justification Logics
11. Altmetric Badge
    Chapter 10 Taming Modal Impredicativity: Superlazy Reduction
12. Altmetric Badge
    Chapter 11 Positive Fork Graph Calculus
13. Altmetric Badge
    Chapter 12 Games on Strings with a Limited Order Relation
14. Altmetric Badge
    Chapter 13 Complete Axiomatizations of MSO , FO(TC 1 ) and FO(LFP 1 ) on Finite Trees
15. Altmetric Badge
    Chapter 14 Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
16. Altmetric Badge
    Chapter 15 A Clausal Approach to Proof Analysis in Second-Order Logic
17. Altmetric Badge
    Chapter 16 Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
18. Altmetric Badge
    Chapter 17 Light Linear Logic with Controlled Weakening
19. Altmetric Badge
    Chapter 18 Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
20. Altmetric Badge
    Chapter 19 Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
21. Altmetric Badge
    Chapter 20 Tableaux and Hypersequents for Justification Logic
22. Altmetric Badge
    Chapter 21 Topological Forcing Semantics with Settling
23. Altmetric Badge
    Chapter 22 Automata and Answer Set Programming
24. Altmetric Badge
    Chapter 23 A Labeled Natural Deduction System for a Fragment of CTL *
25. Altmetric Badge
    Chapter 24 Conservativity for Logics of Justified Belief
26. Altmetric Badge
    Chapter 25 Unifying Sets and Programs via Dependent Types
27. Altmetric Badge
    Chapter 26 Product-Free Lambek Calculus Is NP-Complete
28. Altmetric Badge
    Chapter 27 Games on Multi-stack Pushdown Systems
29. Altmetric Badge
    Chapter 28 Data Privacy for $\mathcal{ALC}$ Knowledge Bases
30. Altmetric Badge
    Chapter 29 Fixed Point Theorems on Partial Randomness
31. Altmetric Badge
    Chapter 30 Decidability and Undecidability in Probability Logic
32. Altmetric Badge
    Chapter 31 A Bialgebraic Approach to Automata and Formal Language Theory