| 2025 | Paraconsistent Constructive Modal Logic. | Han Gao, Daniil Kozhemiachenko, Nicola Olivetti |
| 2025 | Axiomatization and Decidability of Tense Information Logic. | Timo Niek Franssen, Sren Brinck Knudstorp |
| 2025 | Graded Relation Updates in Modal Logic. | Raul Fervari, Daniel Figueiredo, Manuel A. Martins |
| 2025 | A Significance-Based Account of Ceteris paribus Counterfactuals. | Avgerinos Delkos, Marianna Girlando |
| 2025 | Insensitive Games: Game Semantics for Modal Insensitivity. | Can Baskent, David R. Gilbert, Giorgio Venturi |
| 2025 | On Tame Semantics for Interpretability Logic. | Vicent Navarro Arroyo, Joost J. Joosten |
| 2024 | Polyadic Quantifiers on Dependent Types. | Marek W. Zawadowski, Justyna Grudzinska |
| 2024 | Logical Expressibility of Syntactic NL for Complementarity and Maximization. | Tomoyuki Yamakami |
| 2024 | Validity in Contexts - A Semantics for Indicatives and Epistemic Modals. | Xuefeng Wen |
| 2024 | Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. | Florrie Verity, Yoshihiro Maruyama |
| 2024 | Completeness of Finitely Weighted Kleene Algebra with Tests. | Igor Sedlr |
| 2024 | Lambek Calculus with Banged Atoms for Parasitic Gaps. | Mehrnoosh Sadrzadeh, Lutz Straburger |
| 2024 | (In)consistency Operators on Quasi-Nelson Algebras. | Umberto Rivieccio, Aldo Figallo Orellano |
| 2024 | An EXPTIME-Complete Entailment Problem in Separation Logic. | Nicolas Peltier |
| 2024 | Correspondence Theory on Vector Spaces. | Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni |
| 2024 | Labelled Sequent Calculi for Inquisitive Modal Logics. | Valentin Mller |
| 2024 | Rules of Partial Orthomodularity. | Mena Leemhuis, Diedrich Wolter, zgr L. zep |
| 2024 | Syntactic Concept Lattice Models for Infinitary Action Logic. | Stepan L. Kuznetsov |
| 2024 | Intersection Types via Finite-Set Declarations. | Fairouz Kamareddine, Joe B. Wells |
| 2024 | A Compositional Theory of Krivine's Classical Realisability. | Daichi Hayashi, Graham E. Leigh |
| 2024 | A Simple Loopcheck for Intuitionistic K. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2024 | A Linear Proof Language for Second-Order Intuitionistic Linear Logic. | Alejandro Daz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe |
| 2024 | Strict-Tolerant Conditional Logics. | Lin Chen, Xuefeng Wen |
| 2024 | A Logic of Isolation. | Can Baskent, David R. Gilbert, Giorgio Venturi |
| 2023 | Maximally Multi-focused Proofs for Skew Non-Commutative MILL. | Niccol Veltri |