| 2024 | A First-order Modal Logic of Strict Implication on Varying-Domain Models. | Yuanzhe Yang |
| 2024 | A Modal Logic for Reasoning in Contexts. | Xuefeng Wen |
| 2024 | Coalgebraic Proof Translations for Non-Wellfounded Proofs. | Borja Sierra Miranda, Thomas Studer, Lukas Zenger |
| 2024 | A Tree Rewriting System for the Reflection Calculus. | Sofa Santiago-Fernndez, Joost J. Joosten, David Fernndez-Duque |
| 2024 | On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. | Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov |
| 2024 | LEGO-Like Small Model Constructions for qvist's Logics. | Dmitry Rozplokhas |
| 2024 | Informative Presupposition in Inquisitive Logic. | Vt Puncochr, Ivo Pezlar |
| 2024 | Positive Modal Logic Over Finite MV-Chains. | Wolfgang Poiger |
| 2024 | Efficient Theorem-Proving for Modal Logics. | Cludia Nalon |
| 2024 | Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic. | Valentin Mller |
| 2024 | Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic. | Mojtaba Mojtahedi, Konstantinos Papafilippou |
| 2024 | Goldblatt-Thomason Theorems for Fundamental (Modal) Logic. | Guillaume Massas |
| 2024 | The Complexity of Reasoning about Classifiers. | Xinghan Liu, Emiliano Lorini |
| 2024 | The Interpolant Existence Problem for Weak K4 and Difference Logic. | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2024 | Modal Logic, Fundamentally. | Wesley H. Holliday |
| 2024 | Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete. | Vitor Greati, Revantha Ramanayake |
| 2024 | Varieties of Distributed Knowledge. | Rustam Galimullin, Louwe B. Kuijer |
| 2024 | Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic. | Daniel Gaina |
| 2024 | Frame Definability in Conditional Logic. | Damiano Fornasiere, Johannes Marti, Giovanni Varricchione |
| 2024 | Modal Logics in Dynamical Systems. | David Fernndez-Duque |
| 2024 | Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic. | Yifeng Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang |
| 2024 | Some General Completeness Results for Propositionally Quantified Modal Logics. | Yifeng Ding, Yipu Li |
| 2024 | Lovsz Theorems for Modal Languages. | Jesse Comer |
| 2024 | Logics of Knowability. | Ahmee Christensen |
| 2024 | Better Bounded Bisimulation Contractions. | Thomas Bolander, Alessandro Burigana |