| 2024 | (In)consistency Operators on Quasi-Nelson Algebras. Umberto Rivieccio, Aldo Figallo Orellano |
| 2024 | A Compositional Theory of Krivine's Classical Realisability. Daichi Hayashi, Graham E. Leigh |
| 2024 | A Linear Proof Language for Second-Order Intuitionistic Linear Logic. Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe |
| 2024 | A Logic of Isolation. Can Baskent, David R. Gilbert, Giorgio Venturi |
| 2024 | A Simple Loopcheck for Intuitionistic K. Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger |
| 2024 | An EXPTIME-Complete Entailment Problem in Separation Logic. Nicolas Peltier |
| 2024 | Completeness of Finitely Weighted Kleene Algebra with Tests. Igor Sedlár |
| 2024 | Correspondence Theory on Vector Spaces. Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni |
| 2024 | Intersection Types via Finite-Set Declarations. Fairouz Kamareddine, Joe B. Wells |
| 2024 | Labelled Sequent Calculi for Inquisitive Modal Logics. Valentin Müller |
| 2024 | Lambek Calculus with Banged Atoms for Parasitic Gaps. Mehrnoosh Sadrzadeh, Lutz Straßburger |
| 2024 | Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz |
| 2024 | Logical Expressibility of Syntactic NL for Complementarity and Maximization. Tomoyuki Yamakami |
| 2024 | Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. Florrie Verity, Yoshihiro Maruyama |
| 2024 | Polyadic Quantifiers on Dependent Types. Marek W. Zawadowski, Justyna Grudzinska |
| 2024 | Rules of Partial Orthomodularity. Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep |
| 2024 | Strict-Tolerant Conditional Logics. Lin Chen, Xuefeng Wen |
| 2024 | Syntactic Concept Lattice Models for Infinitary Action Logic. Stepan L. Kuznetsov |
| 2024 | Validity in Contexts - A Semantics for Indicatives and Epistemic Modals. Xuefeng Wen |