| 2018 | A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5. | Arnon Avron, Ori Lahav |
| 2016 | Preface. | |
| 2016 | The Logic of Where and While in the 13th and 14th Centuries. | Sara L. Uckelman |
| 2016 | Local tabularity without transitivity. | Ilya Shapirovsky, Valentin B. Shehtman |
| 2016 | Propositional dynamic logic with Belnapian truth values. | Igor Sedlr |
| 2016 | The structure of the lattice of normal extensions of modal logics with cyclic axioms. | Yutaka Miyazaki |
| 2016 | A focused framework for emulating modal proof systems. | Sonia Marin, Dale Miller, Marco Volpe |
| 2016 | It ain't necessarily so: Basic sequent systems for negative modalities. | Ori Lahav, Joo Marcos, Yoni Zohar |
| 2016 | Logics of Infinite Depth. | Marcus Kracht |
| 2016 | Synthetic completeness proofs for Seligman-style tableau systems. | Klaus Frovin Jrgensen, Patrick Blackburn, Thomas Bolander, Torben Braner |
| 2016 | A canonical model construction for intuitionistic distributed knowledge. | Gerhard Jger, Michel Marti |
| 2016 | The succinctness of first-order logic over modal logic via a formula size game. | Lauri Hella, Miikka Vilander |
| 2016 | Decidable first-order modal logics with counting quantifiers. | Christopher Hampson |
| 2016 | "Knowing value'' logic as a normal modal logic. | Tao Gu, Yanjing Wang |
| 2016 | The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. | Robert Goldblatt, Ian M. Hodkinson |
| 2016 | The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. | Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch |
| 2016 | Post Completeness in Congruential Modal Logics. | Peter Fritz |
| 2016 | A cut-free sequent calculus for the logic of subset spaces. | Birgit Elbl |
| 2016 | Update, Probability, Knowledge and Belief. | Jan van Eijck, Bryan Renne |
| 2016 | Fully Arbitrary Public Announcements. | Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer |
| 2016 | Axiomatizing a Real-Valued Modal Logic. | Denisa Diaconescu, George Metcalfe, Laura Schnriger |
| 2016 | Classical and Empirical Negation in Subintuitionistic Logic. | Michael De, Hitoshi Omori |
| 2016 | Embedding formalisms: hypersequents and two-level systems of rule. | Agata Ciabattoni, Francesco A. Genco |
| 2016 | Locales, Nuclei, and Dragalin Frames. | Guram Bezhanishvili, Wesley H. Holliday |
| 2016 | Beliefs and Evidence in Justification Models. | Alexandru Baltag, Virginie Fiutek, Sonja Smets |