| 2026 | Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings Gian Luca Pozzato, Tarmo Uustalu |
| 2025 | A Gödel Modal Logic over Witnessed Crisp Models. Mauro Ferrari, Camillo Fiorentini, Ricardo Oscar Rodríguez |
| 2025 | A Proof-Theoretic View of Basic Intuitionistic Conditional Logic. Tiziano Dalmonte, Marianna Girlando |
| 2025 | A Sequent Calculus For Trace Formula Implication. Niklas Heidler, Reiner Hähnle |
| 2025 | A Sequent Calculus Perspective on Base-Extension Semantics. Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel |
| 2025 | A Tableau System for First-Order Logic with Standard Names. Jens Claßen, Torben Braüner |
| 2025 | An Agda Formalization of Nonassociative Lambek Calculus and its Metatheory. Niccolò Veltri, Cheng-Syuan Wan |
| 2025 | Analytic Calculi for Logics of Indicative Conditionals. Vitor Greati, Sérgio Marcelino, Miguel Muñoz Pérez, Umberto Rivieccio |
| 2025 | Analytic Proofs for Tense Logic. Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2025 | Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract). Yll Buzoku, David J. Pym |
| 2025 | Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity. Tadeusz Litak, Katsuhiko Sano |
| 2025 | Constraint Learning for Non-confluent Proof Search. Michael Rawson, Clemens Eisenhofer, Laura Kovács |
| 2025 | Cyclic System for an Algebraic Theory of Alternating Parity Automata. Anupam Das, Abhishek De |
| 2025 | Designing a Safe Forward Chaining Tactic Using Productive Proofs. Kaustuv Chaudhuri, Arunava Gantait, Dale Miller |
| 2025 | Finding Connections via Satisfiability Solving. Clemens Eisenhofer, Michael Rawson, Laura Kovács |
| 2025 | Forward Proof Search for Intuitionistic Multimodal K Logics. Niels F. W. Voorneveld |
| 2025 | Improved Decision Procedures for Multi-modal Tense Logic Using CEGAR-Tableaux. Rajeev Goré, Cormac Kikkert |
| 2025 | Interpolation for Converse PDL. Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema |
| 2025 | Intuitionistic BV. Matteo Acclavio, Lutz Straßburger |
| 2025 | Intuitionistic μ-Calculus with the Lewis Arrow. Bahareh Afshari, Lide Grotenhuis |
| 2025 | Justification Logic for Intuitionistic Modal Logic. Sonia Marin, Paaras Padhiar |
| 2025 | Non-wellfounded Proof Theory for Interpretability Logic. Sebastijan Horvat, Borja Sierra-Miranda, Thomas Studer |
| 2025 | On Solving String Equations via Powers and Parikh Images. Clemens Eisenhofer, Theodor Seiser, Nikolaj S. Bjørner, Laura Kovács |
| 2025 | Refined Tableau Systems for Some Modal Logics of Confluence. Kiana Samadpour Motalebi, Renate A. Schmidt, Cláudia Nalon |
| 2025 | Semi-competitive Differential Game Logic. Julia Butte, André Platzer |
| 2025 | The Modal Cube Revisited: Semantics Without Worlds. Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio |