| 2025 | Forward Proof Search for Intuitionistic Multimodal K Logics. | Niels F. W. Voorneveld |
| 2025 | An Agda Formalization of Nonassociative Lambek Calculus and its Metatheory. | Niccol Veltri, Cheng-Syuan Wan |
| 2025 | Constraint Learning for Non-confluent Proof Search. | Michael Rawson, Clemens Eisenhofer, Laura Kovcs |
| 2025 | Refined Tableau Systems for Some Modal Logics of Confluence. | Kiana Samadpour Motalebi, Renate A. Schmidt, Cludia Nalon |
| 2025 | Justification Logic for Intuitionistic Modal Logic. | Sonia Marin, Paaras Padhiar |
| 2025 | Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity. | Tadeusz Litak, Katsuhiko Sano |
| 2025 | The Modal Cube Revisited: Semantics Without Worlds. | Renato R. Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio |
| 2025 | Interpolation for Converse PDL. | Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema |
| 2025 | Non-wellfounded Proof Theory for Interpretability Logic. | Sebastijan Horvat, Borja Sierra Miranda, Thomas Studer |
| 2025 | A Sequent Calculus For Trace Formula Implication. | Niklas Heidler, Reiner Hhnle |
| 2025 | Analytic Calculi for Logics of Indicative Conditionals. | Vitor Greati, Srgio Marcelino, Miguel Muoz Prez, Umberto Rivieccio |
| 2025 | Improved Decision Procedures for Multi-modal Tense Logic Using CEGAR-Tableaux. | Rajeev Gor, Cormac Kikkert |
| 2025 | A Gdel Modal Logic over Witnessed Crisp Models. | Mauro Ferrari, Camillo Fiorentini, Ricardo Oscar Rodrguez |
| 2025 | On Solving String Equations via Powers and Parikh Images. | Clemens Eisenhofer, Theodor Seiser, Nikolaj S. Bjrner, Laura Kovcs |
| 2025 | Finding Connections via Satisfiability Solving. | Clemens Eisenhofer, Michael Rawson, Laura Kovcs |
| 2025 | Cyclic System for an Algebraic Theory of Alternating Parity Automata. | Anupam Das, Abhishek De |
| 2025 | A Proof-Theoretic View of Basic Intuitionistic Conditional Logic. | Tiziano Dalmonte, Marianna Girlando |
| 2025 | A Tableau System for First-Order Logic with Standard Names. | Jens Claen, Torben Braner |
| 2025 | Analytic Proofs for Tense Logic. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2025 | Designing a Safe Forward Chaining Tactic Using Productive Proofs. | Kaustuv Chaudhuri, Arunava Gantait, Dale Miller |
| 2025 | Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract). | Yll Buzoku, David J. Pym |
| 2025 | Semi-competitive Differential Game Logic. | Julia Butte, Andr Platzer |
| 2025 | A Sequent Calculus Perspective on Base-Extension Semantics. | Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel |
| 2025 | Intuitionistic μ-Calculus with the Lewis Arrow. | Bahareh Afshari, Lide Grotenhuis |
| 2025 | Intuitionistic BV. | Matteo Acclavio, Lutz Straburger |