Mathematics of modality /
Goldblatt, Robert.
Stanford, Calif. : CSLI Publications,
c1993.
Includes bibliographical references (p. 259-266) and index.
Metamathematics of modal logic -- Semantic analysis of orthologic -- Orthomodularity is not elementary -- Arithmetical necessity, provability and intuitionistic logic -- Diodorean modality in Minkowski spacetime -- Grothendieck topology as geometric modality -- The semantics of Hoare's Iteration Rule -- An abstract setting for Henkin proofs -- A framework for infinitary model logic -- The McKinsey axiom is not canonical -- Elementary logics are canonical and pseudo-equational.
Modality (Logic)