Abstract is missing.
- Invited Talk: Coherentisation of First-Order LogicRoy Dyckhoff. 3-5 [doi]
- A Propositional Tableaux Based Proof Calculus for Reasoning with Default RulesValentin Cassano, Carlos Gustavo López Pombo, Thomas S. E. Maibaum. 6-21 [doi]
- A Tableau for Bundled StrategiesJohn Christopher McCabe-Dansted, Mark Reynolds. 22-37 [doi]
- Modal Tableau Systems with Blocking and Congruence ClosureRenate A. Schmidt, Uwe Waldmann. 38-53 [doi]
- Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau MethodMichael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure. 54-69 [doi]
- Efficient Algorithms for Bounded Rigid E-unificationPeter Backeman, Philipp Rümmer. 70-85 [doi]
- Integrating Simplex with TableauxGuillaume Bury, David Delahaye. 86-101 [doi]
- Efficient Low-Level Connection TableauxCezary Kaliszyk. 102-111 [doi]
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood SemanticsSara Negri, Nicola Olivetti. 115-134 [doi]
- Linear Nested Sequents, 2-Sequents and HypersequentsBjörn Lellmann. 135-150 [doi]
- Disproving Using the Inverse Method by Iterative Refinement of Finite ApproximationsTaus Brock-Nannestad, Kaustuv Chaudhuri. 153-168 [doi]
- Ordered Resolution for Coalition LogicUllrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang. 169-184 [doi]
- A Modal-Layered Resolution Calculus for KCláudia Nalon, Ullrich Hustadt, Clare Dixon. 185-200 [doi]
- The Proof Certifier CheckersZakaria Chihani, Tomer Libal, Giselle Reis. 201-210 [doi]
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in MetaphysicsChristoph Benzmüller. 213-220 [doi]
- Realization Theorems for Justification Logics: Full ModularityAnnemarie Borg, Roman Kuznets. 221-236 [doi]
- Proof-Search in Natural Deduction Calculus for Classical Propositional LogicMauro Ferrari, Camillo Fiorentini. 237-252 [doi]
- Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected ApplicationsChristoph Wernhard. 253-269 [doi]
- A Standard Internal Calculus for Lewis' Counterfactual LogicsNicola Olivetti, Gian Luca Pozzato. 270-286 [doi]
- Disproving Inductive Entailments in Separation Logic via Base Pair ApproximationJames Brotherston, Nikos Gorogiannis. 287-303 [doi]
- A Dynamic Logic with Traces and CoinductionRichard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata. 307-322 [doi]
- Mīmāṃsā Deontic Logic: Proof Theory and ApplicationsAgata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann. 323-338 [doi]
- On Enumerating Query Plans Using Analytic TableauAlexander K. Hudek, David Toman, Grant E. Weddell. 339-354 [doi]