Automated Reasoning with Analytic Tableaux and Related Methods

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Proof Analysis by Resolution
3. Altmetric Badge
   Chapter 2 Using Linear Logic to Reason about Sequent Systems
4. Altmetric Badge
   Chapter 3 A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
5. Altmetric Badge
   Chapter 4 Tableaux for Quantified Hybrid Logic
6. Altmetric Badge
   Chapter 5 Tableau-Based Automated Deduction for Duration Calculus
7. Altmetric Badge
   Chapter 6 Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
8. Altmetric Badge
   Chapter 7 A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
9. Altmetric Badge
   Chapter 8 Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
10. Altmetric Badge
    Chapter 9 Tableau Calculi for the Logics of Finite k -Ary Trees
11. Altmetric Badge
    Chapter 10 A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition
12. Altmetric Badge
    Chapter 11 Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
13. Altmetric Badge
    Chapter 12 Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas
14. Altmetric Badge
    Chapter 13 Integration of Equality Reasoning into the Disconnection Calculus
15. Altmetric Badge
    Chapter 14 Analytic Sequent Calculi for Abelian and Łukasiewicz Logics
16. Altmetric Badge
    Chapter 15 Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief
17. Altmetric Badge
    Chapter 16 A Confluent Theory Connection Calculus
18. Altmetric Badge
    Chapter 17 On Uniform Word Problems Involving Bridging Operators on Distributive Lattices
19. Altmetric Badge
    Chapter 18 Question Answering: From Partitions to Prolog
20. Altmetric Badge
    Chapter 19 A General Theorem Prover for Quantified Modal Logics
21. Altmetric Badge
    Chapter 20 Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem
22. Altmetric Badge
    Chapter 21 A New Indefinite Semantics for Hilbert’s Epsilon
23. Altmetric Badge
    Chapter 22 A Tableau Calculus for Combining Non-disjoint Theories
24. Altmetric Badge
    Chapter 23 LINK: A Proof Environment Based on Proof Nets
25. Altmetric Badge
    Chapter 24 DCTP 1.2 — System Abstract