← Back to Home

Table of Contents

Mathematical Perspectives

Thematic Editor: Lev Beklemishev

Proof systems for modal logic Authors: Roman Kuznets, Sara Negri
Non-well founded and cyclic proofs Authors: Bahareh Afshari, Daniyar Shamkanov
Intuitionistic modal logic with applications Authors: Rosalie Iemhoff, Iris van der Giessen, Tadeusz Litak
Reflection algebras and logics Authors: Lev Beklemishev, David Fernandez-Duque, Joost Joosten
Modal logic in set theory and topology Authors: Juan Aguilera, Guram Bezhanishvili, Nick Bezhanishvili

Computational Perspectives

Thematic Editor: Balder ten Cate

Temporal logic and verification Authors: Stéphane Demri
Modal logics and machine learning Authors: Antti Kuusisto, Carsten Lutz
Decidable fragments Authors: Emanuel Kieroński, Ian Pratt-Hartmann, Lidia Tendera
Modal fixpoint logics Authors: Yde Venema
Coalgebraic modal logic Authors: Helle Hansen
Finite model theory for modal logic Authors: Martin Otto

Informational and Interactive Perspectives

Thematic Editor: Fenrong Liu

Dynamic Epistemic Logic Authors: Alexandru Baltag
Epistemic Predicate Logic Authors: R. Ramanujam, Yanjing Wang
Social Epistemic Logic (Social Network Logic) Authors: Jeremy Seligman, Sonja Smets
Modal Game Logic Authors: Dominik Klein, Sujata Ghosh

Philosophical Perspectives

Thematic Editor: Wesley Holliday

Higher-Order Modal Logic Authors: Peter Fritz
Alternatives to Possible World Semantics Authors: Guillaume Massas, Vit Puncochar
Non-Classical Logics Authors: Søren Knudstorp, Igor Sedlar, and Shawn Standefer
Conditional Logics Authors: Jen Davoren, Paul Egré, Marianna Girlando
Modals in Natural Language Authors: Maria Aloni, Fabrizio Cariani
Epistemic Logic and Epistemology Authors: Adam Bjorndhal, Aybuke Ozgun