| 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 | A Tree Rewriting System for the Reflection Calculus. Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque |
| 2024 | Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. Agata Ciabattoni, David Gabelaia, Igor Sedlár |
| 2024 | Better Bounded Bisimulation Contractions. Thomas Bolander, Alessandro Burigana |
| 2024 | Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic. Daniel Gaina |
| 2024 | Bisimulation for Impure Simplicial Complexes. Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa |
| 2024 | Coalgebraic Proof Translations for Non-Wellfounded Proofs. Borja Sierra-Miranda, Thomas Studer, Lukas Zenger |
| 2024 | Coalgebraic Semantics for Intuitionistic Modal Logic. Rodrigo Nicolau Almeida, Nick Bezhanishvili |
| 2024 | Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete. Vitor Greati, Revantha Ramanayake |
| 2024 | Efficient Theorem-Proving for Modal Logics. Cláudia Nalon |
| 2024 | Frame Definability in Conditional Logic. Damiano Fornasiere, Johannes Marti, Giovanni Varricchione |
| 2024 | Goldblatt-Thomason Theorems for Fundamental (Modal) Logic. Guillaume Massas |
| 2024 | Group Epistemics, (Co-)algebraically. Marta Bílková |
| 2024 | Informative Presupposition in Inquisitive Logic. Vít Puncochár, Ivo Pezlar |
| 2024 | Intuitionistic Master Modality. Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
| 2024 | Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence. Alexandru Baltag |
| 2024 | LEGO-Like Small Model Constructions for Åqvist's Logics. Dmitry Rozplokhas |
| 2024 | Logics for Data Exchange and Communication. Alexandru Baltag, Sonja Smets |
| 2024 | Logics of Knowability. Ahmee Christensen |
| 2024 | Logics of Polyhedral Reachability. Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia |
| 2024 | Lovász Theorems for Modal Languages. Jesse Comer |
| 2024 | Modal Logic, Fundamentally. Wesley H. Holliday |
| 2024 | Modal Logics in Dynamical Systems. David Fernández-Duque |
| 2024 | Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic. Valentin Müller |
| 2024 | On the Proof Theory of Apodictic Syllogistic. Melissa Antonelli, Jan von Plato |
| 2024 | On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov |
| 2024 | Point-Set Neighborhood Logic. Yanjing Wang, Junhua Yu |
| 2024 | Positive Modal Logic Over Finite MV-Chains. Wolfgang Poiger |
| 2024 | Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic. Mojtaba Mojtahedi, Konstantinos Papafilippou |
| 2024 | Some General Completeness Results for Propositionally Quantified Modal Logics. Yifeng Ding, Yipu Li |
| 2024 | Strong Completeness of the Closed Fragment of GLP. Juan P. Aguilera, Grigorii Stepanov |
| 2024 | The Complexity of Reasoning about Classifiers. Xinghan Liu, Emiliano Lorini |
| 2024 | The Goldblatt-Thomason Theorem for Derivative Spaces. Nick Bezhanishvili, David Fernández-Duque, Reihane Zoghifard |
| 2024 | The Interpolant Existence Problem for Weak K4 and Difference Logic. Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2024 | Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic. Yifeng Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang |
| 2024 | Towards Dynamic Distributed Knowledge. Philippe Balbiani, Hans van Ditmarsch |
| 2024 | Towards an Algebraic Theory of KD45-Like Logics. Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos, George Metcalfe |
| 2024 | Unification With Simple Variable Restrictions and Admissibility of Π2-Rules. Rodrigo Nicolau Almeida, Silvio Ghilardi |
| 2024 | Varieties of Distributed Knowledge. Rustam Galimullin, Louwe B. Kuijer |