← Back to Home
Table of Contents
Mathematical Perspectives
Thematic Editor: Lev Beklemishev
-
Proof Systems for Modal Logic
Authors: Roman Kuznets, Sara Negri
-
Cyclic and Ill-founded Proofs
Authors: Bahareh Afshari, Graham Leigh, 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
-
Where Modal Logic Meets Machine Learning: Graph Neural Networks
Authors: Antti Kuusisto, Carsten Lutz
-
The Satisfiability Problem in Fragments of Logic
Authors: Emanuel Kieroński, Ian Pratt-Hartmann, Lidia Tendera
-
Modal Fixpoint Logics
Authors: Yde Venema
-
Coalgebraic Modal Logic
Authors: Helle Hansen, Lutz Schröder
-
Expressiveness and Invariance
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: 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 Modal 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