| 2019 | Certification of Nonclausal Connection Tableaux Proofs. | Michael Frber, Cezary Kaliszyk |
| 2017 | Rule Refinement for Semantic Tableau Calculi. | Dmitry Tishkovsky, Renate A. Schmidt |
| 2017 | Cyclic Proofs with Ordering Constraints. | Sorin Stratulat |
| 2017 | Dynamic Preference Logic as a Logic of Belief Change. | Marlo Souza, lvaro F. Moreira, Renata Vieira |
| 2017 | The Creation and Change of Social Networks: A Logical Study Based on Group Size. | Sonja Smets, Fernando R. Velzquez-Quesada |
| 2017 | A Mechanizable First-Order Theory of Ordinals. | Peter H. Schmitt |
| 2017 | A Dynamic Informational-Epistemic Logic. | Yuri David Santos |
| 2017 | Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. | Reuben N. S. Rowe, James Brotherston |
| 2017 | Dynamic Logic: A Personal Perspective. | Vaughan R. Pratt |
| 2017 | Non-clausal Connection Calculi for Non-classical Logics. | Jens Otten |
| 2017 | Parameterized Provability in Equational Logic. | Mateus de Oliveira Oliveira |
| 2017 | Proof Theory for Indexed Nested Sequents. | Sonia Marin, Lutz Straburger |
| 2017 | Cut-Admissibility as a Corollary of the Subformula Property. | Ori Lahav, Yoni Zohar |
| 2017 | Parity Games and Automata for Game Logic. | Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2017 | VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis |
| 2017 | Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2017 | A Forward Unprovability Calculus for Intuitionistic Propositional Logic. | Camillo Fiorentini, Mauro Ferrari |
| 2017 | Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. | Jos Luiz Fiadeiro, Ionut Tutu, Antnia Lopes, Dusko Pavlovic |
| 2017 | Dynamic Epistemic Logics of Introspection. | Raul Fervari, Fernando R. Velzquez-Quesada |
| 2017 | Interpreting Sequent Calculi as Client-Server Games. | Christian G. Fermller, Timo Lang |
| 2017 | Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. | Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2017 | Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. | Jeremy E. Dawson, Rajeev Gor |
| 2017 | A Cut-Free Cyclic Proof System for Kleene Algebra. | Anupam Das, Damien Pous |
| 2017 | Completeness for Ancestral Logic via a Computationally-Meaningful Semantics. | Liron Cohen |
| 2017 | Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. | Tristan Charrier, Sophie Pinchinat, Franois Schwarzentruber |