| 2016 | To Know is to Know the Value of a Variable. | Alexandru Baltag |
| 2016 | Unification in modal logic Alt | Philippe Balbiani, Tinko Tinchev |
| 2016 | About intuitionistic public announcement logic. | Philippe Balbiani, Didier Galmiche |
| 2016 | Axiomatizing the lexicographic products of modal logics with linear temporal logic. | Philippe Balbiani, David Fernndez-Duque |
| 2016 | Before announcement. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig |
| 2016 | Algebraic semantics of refinement modal logic. | Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella |
| 2016 | A paraconsistent view on B and S5. | Arnon Avron, Anna Zamansky |
| 2016 | Verification logic: An arithmetical interpretation for negative introspection. | Juan P. Aguilera, David Fernndez-Duque |
| 2014 | Bisimulation Safe Fixed Point Logic. | Faried Abu Zaid, Erich Grdel, Stephan Jaax |
| 2014 | Conditionally Knowing What. | Yanjing Wang, Jie Fan |
| 2014 | Reasoning About Obligations in Obligationes: A Formal Approach. | Sara L. Uckelman |
| 2014 | Paraconsistent Justification Logic: a Starting Point. | Che-Ping Su |
| 2014 | Canonical Filtrations and Local Tabularity. | Valentin B. Shehtman |
| 2014 | Axiomatic and Tableau-Based Reasoning for Kt(H, R). | Renate A. Schmidt, John G. Stell, David E. Rydeheard |
| 2014 | Bilattice Public Announcement Logic. | Umberto Rivieccio |
| 2014 | A Tableau for Temporal Logic over the Reals. | Mark Reynolds |
| 2014 | A Duality for Distributive Unimodal Logic. | Adam Prenosil |
| 2014 | Recent Advances in Proof Systems for Modal Logic. | Sara Negri |
| 2014 | A Hennessy-Milner Property for Many-Valued Modal Logics. | Michel Marti, George Metcalfe |
| 2014 | Label-free Modular Systems for Classical and Intuitionistic Modal Logics. | Sonia Marin, Lutz Straburger |
| 2014 | Neighbourhood Frame Product KxK. | Andrey Kudinov |
| 2014 | Modal Independence Logic. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, Heribert Vollmer |
| 2014 | Filtration Safe Operations on Frames. | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
| 2014 | Partiality and Adjointness in Modal Logic. | Wesley H. Holliday |
| 2014 | The Expressive Power of Modal Dependence Logic. | Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema |