| 2024 | Bisimulation for Impure Simplicial Complexes. | Marta Blkov, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa |
| 2024 | Group Epistemics, (Co-)algebraically. | Marta Blkov |
| 2024 | The Goldblatt-Thomason Theorem for Derivative Spaces. | Nick Bezhanishvili, David Fernndez-Duque, Reihane Zoghifard |
| 2024 | Logics of Polyhedral Reachability. | Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernndez-Duque, David Gabelaia |
| 2024 | Towards an Algebraic Theory of KD45-Like Logics. | Line van den Berg, Manuela Busaniche, Miguel Andrs Marcos, George Metcalfe |
| 2024 | Logics for Data Exchange and Communication. | Alexandru Baltag, Sonja Smets |
| 2024 | Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence. | Alexandru Baltag |
| 2024 | Towards Dynamic Distributed Knowledge. | Philippe Balbiani, Hans van Ditmarsch |
| 2024 | On the Proof Theory of Apodictic Syllogistic. | Melissa Antonelli, Jan von Plato |
| 2024 | Unification With Simple Variable Restrictions and Admissibility of Π2-Rules. | Rodrigo Nicolau Almeida, Silvio Ghilardi |
| 2024 | Coalgebraic Semantics for Intuitionistic Modal Logic. | Rodrigo Nicolau Almeida, Nick Bezhanishvili |
| 2024 | Intuitionistic Master Modality. | Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
| 2024 | Point-Set Neighborhood Logic. | Yanjing Wang, Junhua Yu |
| 2024 | Strong Completeness of the Closed Fragment of GLP. | Juan P. Aguilera, Grigorii Stepanov |
| 2022 | Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. | Rineke Verbrugge |
| 2022 | Provability Logics of Hierarchies. | Amirhossein Akbar Tabatabai |
| 2022 | Taming Bounded Depth with Nested Sequents. | Lutz Straburger, Matteo Tesi, Agata Ciabattoni |
| 2022 | Direct elimination of additive-cuts in GL4ip: verified and extracted. | Ian Shillito, Rajeev Gor |
| 2022 | Relevant Reasoners in a Classical World. | Igor Sedlr, Pietro Vigiani |
| 2022 | Medvedev's logic and products of converse well orders. | Denis I. Saveliev, Ilya Shapirovsky |
| 2022 | An analytic proof system for common knowledge logic over S5. | Jan Rooduijn, Lukas Zenger |
| 2022 | Explanations in logic. | Francesca Poggiolesi |
| 2022 | Graded modal logic with a single modality. | Mattia Panettiere, Apostolos Tzimoulis |
| 2022 | Labelled sequent calculi for logics of strict implication. | Eugenio Orlandelli, Matteo Tesi |
| 2022 | Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. | Hiroakira Ono, Katsuhiko Sano |