| 2016 | "Knowing value'' logic as a normal modal logic. Tao Gu, Yanjing Wang |
| 2016 | A canonical model construction for intuitionistic distributed knowledge. Gerhard Jäger, Michel Marti |
| 2016 | A cut-free sequent calculus for the logic of subset spaces. Birgit Elbl |
| 2016 | A focused framework for emulating modal proof systems. Sonia Marin, Dale Miller, Marco Volpe |
| 2016 | A paraconsistent view on B and S5. Arnon Avron, Anna Zamansky |
| 2016 | About intuitionistic public announcement logic. Philippe Balbiani, Didier Galmiche |
| 2016 | Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016 Lev D. Beklemishev, Stéphane Demri, András Maté |
| 2016 | Algebraic semantics of refinement modal logic. Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella |
| 2016 | Axiomatizing a Real-Valued Modal Logic. Denisa Diaconescu, George Metcalfe, Laura Schnüriger |
| 2016 | Axiomatizing the lexicographic products of modal logics with linear temporal logic. Philippe Balbiani, David Fernández-Duque |
| 2016 | Before announcement. Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig |
| 2016 | Beliefs and Evidence in Justification Models. Alexandru Baltag, Virginie Fiutek, Sonja Smets |
| 2016 | Classical and Empirical Negation in Subintuitionistic Logic. Michael De, Hitoshi Omori |
| 2016 | Decidable first-order modal logics with counting quantifiers. Christopher Hampson |
| 2016 | Embedding formalisms: hypersequents and two-level systems of rule. Agata Ciabattoni, Francesco A. Genco |
| 2016 | Fully Arbitrary Public Announcements. Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer |
| 2016 | It ain't necessarily so: Basic sequent systems for negative modalities. Ori Lahav, João Marcos, Yoni Zohar |
| 2016 | Local tabularity without transitivity. Ilya Shapirovsky, Valentin B. Shehtman |
| 2016 | Locales, Nuclei, and Dragalin Frames. Guram Bezhanishvili, Wesley H. Holliday |
| 2016 | Logics of Infinite Depth. Marcus Kracht |
| 2016 | Post Completeness in Congruential Modal Logics. Peter Fritz |
| 2016 | Preface. |
| 2016 | Propositional dynamic logic with Belnapian truth values. Igor Sedlár |
| 2016 | Synthetic completeness proofs for Seligman-style tableau systems. Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner |
| 2016 | The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch |
| 2016 | The Logic of Where and While in the 13th and 14th Centuries. Sara L. Uckelman |
| 2016 | The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space. Robert Goldblatt, Ian M. Hodkinson |
| 2016 | The structure of the lattice of normal extensions of modal logics with cyclic axioms. Yutaka Miyazaki |
| 2016 | The succinctness of first-order logic over modal logic via a formula size game. Lauri Hella, Miikka Vilander |
| 2016 | To Know is to Know the Value of a Variable. Alexandru Baltag |
| 2016 | Unification in modal logic Alt Philippe Balbiani, Tinko Tinchev |
| 2016 | Update, Probability, Knowledge and Belief. Jan van Eijck, Bryan Renne |
| 2016 | Verification logic: An arithmetical interpretation for negative introspection. Juan P. Aguilera, David Fernández-Duque |