Book Volume 9323 2015

Automated Reasoning with Analytic Tableaux and Related Methods

24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Editors:

ISBN: 978-3-319-24311-5 (Print) 978-3-319-24312-2 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XVI

  2. Tableaux Calculi

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter and Conference Paper

      Pages 3-5

      Invited Talk: Coherentisation of First-Order Logic

    3. No Access

      Chapter and Conference Paper

      Pages 6-21

      A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules

    4. No Access

      Chapter and Conference Paper

      Pages 22-37

      A Tableau for Bundled Strategies

    5. No Access

      Chapter and Conference Paper

      Pages 38-53

      Modal Tableau Systems with Blocking and Congruence Closure

    6. No Access

      Chapter and Conference Paper

      Pages 54-69

      Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

    7. No Access

      Chapter and Conference Paper

      Pages 70-85

      Efficient Algorithms for Bounded Rigid E-unification

    8. No Access

      Chapter and Conference Paper

      Pages 86-101

      Integrating Simplex with Tableaux

    9. No Access

      Chapter and Conference Paper

      Pages 102-111

      Efficient Low-Level Connection Tableaux

  3. Sequent Calculus

    1. Front Matter

      Pages 113-113

    2. No Access

      Chapter and Conference Paper

      Pages 115-134

      A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics

    3. No Access

      Chapter and Conference Paper

      Pages 135-150

      Linear Nested Sequents, 2-Sequents and Hypersequents

  4. Resolution

    1. Front Matter

      Pages 151-151

    2. No Access

      Chapter and Conference Paper

      Pages 153-168

      Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations

    3. No Access

      Chapter and Conference Paper

      Pages 169-184

      Ordered Resolution for Coalition Logic

    4. No Access

      Chapter and Conference Paper

      Pages 185-200

      A Modal-Layered Resolution Calculus for K

    5. No Access

      Chapter and Conference Paper

      Pages 201-210

      The Proof Certifier Checkers

  5. Other Calculi

    1. Front Matter

      Pages 211-211

    2. No Access

      Chapter and Conference Paper

      Pages 213-220

      Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics

    3. No Access

      Chapter and Conference Paper

      Pages 221-236

      Realization Theorems for Justification Logics: Full Modularity

    4. No Access

      Chapter and Conference Paper

      Pages 237-252

      Proof-Search in Natural Deduction Calculus for Classical Propositional Logic

    5. No Access

      Chapter and Conference Paper

      Pages 253-269

      Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications

    6. No Access

      Chapter and Conference Paper

      Pages 270-286

      A Standard Internal Calculus for Lewis’ Counterfactual Logics

    7. No Access

      Chapter and Conference Paper

      Pages 287-303

      Disproving Inductive Entailments in Separation Logic via Base Pair Approximation

previous Page of 2