| 2017 | A Cut-Free Cyclic Proof System for Kleene Algebra. Anupam Das, Damien Pous |
| 2017 | A Forward Unprovability Calculus for Intuitionistic Propositional Logic. Camillo Fiorentini, Mauro Ferrari |
| 2017 | A Mechanizable First-Order Theory of Ordinals. Peter H. Schmitt |
| 2017 | A Vision for Automated Deduction Rooted in the Connection Method. Wolfgang Bibel |
| 2017 | Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings Renate A. Schmidt, Cláudia Nalon |
| 2017 | Completeness for Ancestral Logic via a Computationally-Meaningful Semantics. Liron Cohen |
| 2017 | Cut-Admissibility as a Corollary of the Subformula Property. Ori Lahav, Yoni Zohar |
| 2017 | Cyclic Proofs with Ordering Constraints. Sorin Stratulat |
| 2017 | Goal-Sensitive Reasoning with Disconnection Tableaux. Lee A. Barnett |
| 2017 | Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2017 | Integrating a Global Induction Mechanism into a Sequent Calculus. David M. Cerna, Michael Peter Lettmann |
| 2017 | Interpreting Sequent Calculi as Client-Server Games. Christian G. Fermüller, Timo Lang |
| 2017 | Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. Jeremy E. Dawson, Rajeev Goré |
| 2017 | Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2017 | Minimisation of ATL ^* Models. Serenella Cerrito, Amélie David |
| 2017 | Non-clausal Connection Calculi for Non-classical Logics. Jens Otten |
| 2017 | On the Decidability of Certain Semi-Lattice Based Modal Logics. Katalin Bimbó |
| 2017 | Parameterized Provability in Equational Logic. Mateus de Oliveira Oliveira |
| 2017 | Proof Theory for Indexed Nested Sequents. Sonia Marin, Lutz Straßburger |
| 2017 | Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. Reuben N. S. Rowe, James Brotherston |
| 2017 | Rule Refinement for Semantic Tableau Calculi. Dmitry Tishkovsky, Renate A. Schmidt |
| 2017 | Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan |
| 2017 | VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis |