| 2022 | Combinatorial Proofs for Constructive Modal Logic. | Matteo Acclavio, Lutz Straburger |
| 2022 | Modal logic and the polynomial hierarchy: from QBFs to K and back. | Anupam Das, Sonia Marin |
| 2022 | An Epistemic Interpretation of Tensor Disjunction. | Yanjing Wang, Yunsong Wang, Haoyu Wang |
| 2020 | William of Sherwood on Necessity and Contingency. | Sara L. Uckelman |
| 2020 | Global Neighbourhood Completeness of the Provability Logic | Daniyar S. Shamkanov |
| 2020 | Finitely-Valued Propositional Dynamic Logic. | Igor Sedlr |
| 2020 | Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. | Katsuhiko Sano |
| 2020 | Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. | Mikhail N. Rybakov, Dmitry Shkatov |
| 2020 | An Extension of Connexive Logic C. | Hitoshi Omori, Heinrich Wansing |
| 2020 | A Semantics for a Failed Axiomatization of K. | Hitoshi Omori, Daniel Skurt |
| 2020 | Actuality in Intuitionistic Logic. | Satoru Niki, Hitoshi Omori |
| 2020 | A Monadic Logic of Ordered Abelian Groups. | George Metcalfe, Olim Frits Tuyt |
| 2020 | The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. | Stepan L. Kuznetsov |
| 2020 | Reduction of Modal Logic and Realization in Justification Logic. | Hirohiko Kushida |
| 2020 | Bisimulational Categoricity. | Jedrzej Kolodziejski |
| 2020 | Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
| 2020 | Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. | Andrzej Indrzejczak |
| 2020 | Inquisitive Intuitionistic Logic. | Wesley H. Holliday |
| 2020 | On the Axiomatisation of Common Knowledge. | Andreas Herzig, Elise Perrotin |
| 2020 | Logic-Induced Bisimulations. | Jim de Groot, Helle Hvid Hansen, Alexander Kurz |
| 2020 | Bi-Intuitionistic Logics: A New Instance of an Old Problem. | Rajeev Gor, Ian Shillito |
| 2020 | The Modal Logic of Almost Sure Frame Validities in the Finite. | Valentin Goranko |
| 2020 | Learning and Modal Logic: There and Back Again. | Nina Gierasimczuk |
| 2020 | Non-Iterative Modal Logics Are Coalgebraic. | Jonas Forster, Lutz Schrder |
| 2020 | About 'Binding Modalities'. | Melvin Fitting |