| 2020 | Modal Logic for Induction. | Giulio Fellin, Sara Negri, Peter M. Schuster |
| 2020 | Possibility, Consistency, Connexivity. | Luis Estrada-Gonzlez |
| 2020 | A Circular Proof System for the Hybrid μ-Calculus. | Sebastian Enqvist |
| 2020 | Another Problem in Possible World Semantics. | Yifeng Ding, Wesley H. Holliday |
| 2020 | Quantified Reflection Calculus with One Modality. | Ana de Almeida Borges, Joost J. Joosten |
| 2020 | Spinozian Model Theory. | Justin Bledin, Yitzhak Melamed |
| 2020 | Model Completeness and Π | Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi |
| 2020 | Temporal Interpretation of Intuitionistic Quantifiers. | Guram Bezhanishvili, Luca Carai |
| 2020 | Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. | Nick Bezhanishvili |
| 2020 | Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems. | Fausto Barbero, Fan Yang |
| 2020 | Indexed Frames and Hybrid Logics. | Philippe Balbiani, Sal Fernndez Gonzlez |
| 2020 | Quantifying over Asynchronous Information Change. | Philippe Balbiani, Hans van Ditmarsch, Sal Fernndez Gonzlez |
| 2020 | Cyclic Proof Systems for Modal Logics. | Bahareh Afshari |
| 2018 | When Names Are Not Commonly Known: Epistemic Logic with Assignments. | Yanjing Wang, Jeremy Seligman |
| 2018 | Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete. | Dmitrij P. Skvortsov |
| 2018 | On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. | Valentin B. Shehtman |
| 2018 | Truth-Preserving Operations on Sums of Kripke Frames. | Ilya Shapirovsky |
| 2018 | A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames. | Mikhail N. Rybakov, Dmitry Shkatov |
| 2018 | Relational Semantics for the Turing Schmerl Calculus. | Eduardo Hermo Reyes, Joost J. Joosten |
| 2018 | Pointwise Intersection in Neighbourhood Modal Logic. | Frederik Van De Putte, Dominik Klein |
| 2018 | The Internalized Disjunction Property for Intuitionistic Justification Logic. | Michel Marti, Thomas Studer |
| 2018 | *-Continuity vs. Induction: Divide and Conquer. | Stepan L. Kuznetsov |
| 2018 | Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. | Roman Kuznets, Bjrn Lellmann |
| 2018 | Coherence in Modal Logic. | Tomasz Kowalski, George Metcalfe |
| 2018 | Normal Extensions of KTB of Codimension 3. | James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens |