| 2015 | A Dynamic Logic with Traces and Coinduction. Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata |
| 2015 | A Modal-Layered Resolution Calculus for K. Cláudia Nalon, Ullrich Hustadt, Clare Dixon |
| 2015 | A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum |
| 2015 | A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. Sara Negri, Nicola Olivetti |
| 2015 | A Standard Internal Calculus for Lewis' Counterfactual Logics. Nicola Olivetti, Gian Luca Pozzato |
| 2015 | A Tableau for Bundled Strategies. John Christopher McCabe-Dansted, Mark Reynolds |
| 2015 | Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings Hans de Nivelle |
| 2015 | Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. James Brotherston, Nikos Gorogiannis |
| 2015 | Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. Taus Brock-Nannestad, Kaustuv Chaudhuri |
| 2015 | Efficient Algorithms for Bounded Rigid E-unification. Peter Backeman, Philipp Rümmer |
| 2015 | Efficient Low-Level Connection Tableaux. Cezary Kaliszyk |
| 2015 | Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure |
| 2015 | Integrating Simplex with Tableaux. Guillaume Bury, David Delahaye |
| 2015 | Invited Talk: Coherentisation of First-Order Logic. Roy Dyckhoff |
| 2015 | Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics. Christoph Benzmüller |
| 2015 | Linear Nested Sequents, 2-Sequents and Hypersequents. Björn Lellmann |
| 2015 | Modal Tableau Systems with Blocking and Congruence Closure. Renate A. Schmidt, Uwe Waldmann |
| 2015 | Mīmāṃsā Deontic Logic: Proof Theory and Applications. Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann |
| 2015 | On Enumerating Query Plans Using Analytic Tableau. Alexander K. Hudek, David Toman, Grant E. Weddell |
| 2015 | Ordered Resolution for Coalition Logic. Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang |
| 2015 | Proof-Search in Natural Deduction Calculus for Classical Propositional Logic. Mauro Ferrari, Camillo Fiorentini |
| 2015 | Realization Theorems for Justification Logics: Full Modularity. Annemarie Borg, Roman Kuznets |
| 2015 | Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications. Christoph Wernhard |
| 2015 | The Proof Certifier Checkers. Zakaria Chihani, Tomer Libal, Giselle Reis |