Mathematics of Modality

Mathematics of Modality
Robert Goldblatt

Introduction
1: Metamathematics of Modal Logic
2: Semantic Analysis of Orthologic
3: Orthomodularity is not Elementary
4: Arithmetical Necessity, Provability and Intuitionistic Logic
5: Diodorean Modality in Minkowski Spacetime
6: Grothendieck Topology as Geometric Modality
7: The Semantics of Hoare’s Iteration Rule
8: An Abstract Setting for Henkin Proofs
9: A Framework for Infinitary Modal Logic
10: The McKinsey Axiom Is Not Canonical
11: Elementary Logics are Canonical and Pseudo-Equational