| 2021 | Game Semantics for Constructive Modal Logic. | Matteo Acclavio, Davide Catta, Lutz Straburger |
| 2019 | Towards a Combinatorial Proof Theory. | Benjamin Ralph, Lutz Straburger |
| 2019 | Sequentialising Nested Systems. | Elaine Pimentel, Revantha Ramanayake, Bjrn Lellmann |
| 2019 | PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. | Rmi Nollet, Alexis Saurin, Christine Tasson |
| 2019 | Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. | Joo G. Martins, Andr Platzer, Joo Leite |
| 2019 | A Tableau Calculus for Non-clausal Maximum Satisfiability. | Chu Min Li, Felip Many, Joan Ramon Soler |
| 2019 | A Hypersequent Calculus with Clusters for Data Logic over Ordinals. | Anthony Lick |
| 2019 | Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. | Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta |
| 2019 | Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels. | Bjrn Lellmann |
| 2019 | A Game Model for Proofs with Costs. | Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2019 | Behavioral Program Logic. | Eduard Kamburjan |
| 2019 | Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. | Rajeev Gor, Bjrn Lellmann |
| 2019 | ENIGMAWatch: ProofWatch Meets ENIGMA. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
| 2019 | A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. | Luca Geatti, Nicola Gigante, Angelo Montanari |
| 2019 | Relating Labelled and Label-Free Bunched Calculi in BI Logic. | Didier Galmiche, Michel Marti, Daniel Mry |
| 2019 | Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. | Daniel Gin, Ionut Tutu |
| 2019 | A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. | Camillo Fiorentini, Rajeev Gor, Stphane Graham-Lengrand |
| 2019 | Prenex Separation Logic with One Selector Field. | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
| 2019 | Herbrand Constructivization for Automated Intuitionistic Theorem Proving. | Gabriel Ebner |
| 2019 | First-Order Quasi-canonical Proof Systems. | Yotam Dvir, Arnon Avron |
| 2019 | A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. | Simon Docherty, Reuben N. S. Rowe |
| 2019 | Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory. | Abhishek De, Alexis Saurin |
| 2019 | Bounded Sequent Calculi for Non-classical Logics via Hypersequents. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2019 | Preferential Tableaux for Contextual Defeasible | Katarina Britz, Ivan Varzinczak |
| 2019 | On Combinatorial Proofs for Modal Logic. | Matteo Acclavio, Lutz Straburger |