| 2019 | A Game Model for Proofs with Costs. Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller |
| 2019 | A Hypersequent Calculus with Clusters for Data Logic over Ordinals. Anthony Lick |
| 2019 | A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. Simon Docherty, Reuben N. S. Rowe |
| 2019 | A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic. Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand |
| 2019 | A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. Luca Geatti, Nicola Gigante, Angelo Montanari |
| 2019 | A Tableau Calculus for Non-clausal Maximum Satisfiability. Chu Min Li, Felip Manyà, Joan Ramon Soler |
| 2019 | Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings Serenella Cerrito, Andrei Popescu |
| 2019 | Behavioral Program Logic. Eduard Kamburjan |
| 2019 | Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. Daniel Gâinâ, Ionut Tutu |
| 2019 | Bounded Sequent Calculi for Non-classical Logics via Hypersequents. Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2019 | Certification of Nonclausal Connection Tableaux Proofs. Michael Färber, Cezary Kaliszyk |
| 2019 | Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels. Björn Lellmann |
| 2019 | Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. João G. Martins, André Platzer, João Leite |
| 2019 | ENIGMAWatch: ProofWatch Meets ENIGMA. Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
| 2019 | First-Order Quasi-canonical Proof Systems. Yotam Dvir, Arnon Avron |
| 2019 | Herbrand Constructivization for Automated Intuitionistic Theorem Proving. Gabriel Ebner |
| 2019 | Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory. Abhishek De, Alexis Saurin |
| 2019 | On Combinatorial Proofs for Modal Logic. Matteo Acclavio, Lutz Straßburger |
| 2019 | Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta |
| 2019 | PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. Rémi Nollet, Alexis Saurin, Christine Tasson |
| 2019 | Preferential Tableaux for Contextual Defeasible Katarina Britz, Ivan Varzinczak |
| 2019 | Prenex Separation Logic with One Selector Field. Mnacho Echenim, Radu Iosif, Nicolas Peltier |
| 2019 | Relating Labelled and Label-Free Bunched Calculi in BI Logic. Didier Galmiche, Michel Marti, Daniel Méry |
| 2019 | Sequentialising Nested Systems. Elaine Pimentel, Revantha Ramanayake, Björn Lellmann |
| 2019 | Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. Rajeev Goré, Björn Lellmann |
| 2019 | Towards a Combinatorial Proof Theory. Benjamin Ralph, Lutz Straßburger |