Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Front Matter....Pages I-XVI
Front Matter....Pages 1-1
Invited Talk: Coherentisation of First-Order Logic....Pages 3-5
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules....Pages 6-21
A Tableau for Bundled Strategies....Pages 22-37
Modal Tableau Systems with Blocking and Congruence Closure....Pages 38-53
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method....Pages 54-69
Efficient Algorithms for Bounded Rigid E-unification....Pages 70-85
Integrating Simplex with Tableaux....Pages 86-101
Efficient Low-Level Connection Tableaux....Pages 102-111
Front Matter....Pages 113-113
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics....Pages 115-134
Linear Nested Sequents, 2-Sequents and Hypersequents....Pages 135-150
Front Matter....Pages 151-151
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations....Pages 153-168
Ordered Resolution for Coalition Logic....Pages 169-184
A Modal-Layered Resolution Calculus for K....Pages 185-200
Front Matter....Pages 201-210
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics....Pages 211-211
Realization Theorems for Justification Logics: Full Modularity....Pages 213-220
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic....Pages 221-236
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications....Pages 237-252
A Standard Internal Calculus for Lewis’ Counterfactual Logics....Pages 253-269
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation....Pages 270-286
Front Matter....Pages 287-303
A Dynamic Logic with Traces and Coinduction....Pages 305-305
Mīmāṃsā Deontic Logic: Proof Theory and Applications....Pages 307-322
On Enumerating Query Plans Using Analytic Tableau....Pages 323-338
Back Matter....Pages 339-354
....Pages 355-355