Automated Reasoning with Analytic Tableaux and Related Methods

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Tableau Algorithms for Description Logics
3. Altmetric Badge
   Chapter 2 Modality and Databases
4. Altmetric Badge
   Chapter 3 Local Symmetries in Propositional Logic
5. Altmetric Badge
   Chapter 4 Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison
6. Altmetric Badge
   Chapter 5 Consistency Testing: The RACE Experience
7. Altmetric Badge
   Chapter 6 Benchmark Analysis with FaCT
8. Altmetric Badge
   Chapter 7 MSPASS: Modal Reasoning by Translation and First-Order Resolution
9. Altmetric Badge
   Chapter 8 TANCS-2000 Results for DLP
10. Altmetric Badge
    Chapter 9 Evaluating *SAT on TANCS 2000 Benchmarks
11. Altmetric Badge
    Chapter 10 A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
12. Altmetric Badge
    Chapter 11 A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus
13. Altmetric Badge
    Chapter 12 An Analytic Calculus for Quantified Propositional Gödel Logic
14. Altmetric Badge
    Chapter 13 A Tableau Method for Inconsistency-Adaptive Logics
15. Altmetric Badge
    Chapter 14 A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning
16. Altmetric Badge
    Chapter 15 Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics
17. Altmetric Badge
    Chapter 16 Variants of First-Order Modal Logics
18. Altmetric Badge
    Chapter 17 Complexity of Simple Dependent Bimodal Logics
19. Altmetric Badge
    Chapter 18 Properties of Embeddings from Int to S4
20. Altmetric Badge
    Chapter 19 Term-Modal Logics
21. Altmetric Badge
    Chapter 20 A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics
22. Altmetric Badge
    Chapter 21 Dual Intuitionistic Logic Revisited
23. Altmetric Badge
    Chapter 22 Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions
24. Altmetric Badge
    Chapter 23 Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints
25. Altmetric Badge
    Chapter 24 Matrix-Based Inductive Theorem Proving
26. Altmetric Badge
    Chapter 25 Monotonic Preorders for Free Variable Tableaux
27. Altmetric Badge
    Chapter 26 The Mosaic Method for Temporal Logics
28. Altmetric Badge
    Chapter 27 Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB , KDB , K5 , KD5
29. Altmetric Badge
    Chapter 28 A Tableau Calculus for Equilibrium Entailment
30. Altmetric Badge
    Chapter 29 Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory
31. Altmetric Badge
    Chapter 30 Tableau Calculus for Only Knowing and Knowing At Most
32. Altmetric Badge
    Chapter 31 A Tableau-Like Representation Framework for Efficient Proof Reconstruction
33. Altmetric Badge
    Chapter 32 The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson’s Arithmetic Q
34. Altmetric Badge
    Chapter 33 Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO
35. Altmetric Badge
    Chapter 34 E-SETHEO: An Automated 3 Theorem Prover