| 2017 | Minimisation of ATL ^* Models. | Serenella Cerrito, Amlie David |
| 2017 | Integrating a Global Induction Mechanism into a Sequent Calculus. | David M. Cerna, Michael Peter Lettmann |
| 2017 | On the Decidability of Certain Semi-Lattice Based Modal Logics. | Katalin Bimb |
| 2017 | A Vision for Automated Deduction Rooted in the Connection Method. | Wolfgang Bibel |
| 2017 | Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. | Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan |
| 2017 | Goal-Sensitive Reasoning with Disconnection Tableaux. | Lee A. Barnett |
| 2017 | Layered Logics, Coalgebraically. | Lus Soares Barbosa |
| 2017 | A Dynamic Logic for Learning Theory. | Alexandru Baltag, Nina Gierasimczuk, Aybke zgn, Ana Lucia Vargas Sandoval, Sonja Smets |
| 2017 | Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. | Philippe Balbiani, Joseph Boudou |
| 2017 | Undecidability of Relation-Changing Modal Logics. | Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel |
| 2015 | Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications. | Christoph Wernhard |
| 2015 | Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. | Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure |
| 2015 | Modal Tableau Systems with Blocking and Congruence Closure. | Renate A. Schmidt, Uwe Waldmann |
| 2015 | A Standard Internal Calculus for Lewis' Counterfactual Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2015 | A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. | Sara Negri, Nicola Olivetti |
| 2015 | A Modal-Layered Resolution Calculus for K. | Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2015 | A Tableau for Bundled Strategies. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2015 | Linear Nested Sequents, 2-Sequents and Hypersequents. | Bjrn Lellmann |
| 2015 | Efficient Low-Level Connection Tableaux. | Cezary Kaliszyk |
| 2015 | Ordered Resolution for Coalition Logic. | Ullrich Hustadt, Paul Gainer, Clare Dixon, Cludia Nalon, Lan Zhang |
| 2015 | On Enumerating Query Plans Using Analytic Tableau. | Alexander K. Hudek, David Toman, Grant E. Weddell |
| 2015 | Proof-Search in Natural Deduction Calculus for Classical Propositional Logic. | Mauro Ferrari, Camillo Fiorentini |
| 2015 | Invited Talk: Coherentisation of First-Order Logic. | Roy Dyckhoff |
| 2015 | Mīmāṃsā Deontic Logic: Proof Theory and Applications. | Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Bjrn Lellmann |
| 2015 | The Proof Certifier Checkers. | Zakaria Chihani, Tomer Libal, Giselle Reis |