Metamathematics of modal logic

1974/06/01 by Robert Ian Goldblatt, Robert Goldblatt · 4 citations
Computer Science · #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.1017/s0004972700041186

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Cited by

• The Vietoris functor and modal operators on rings of continuous functions
• Topology and duality in modal logic
• Topological completeness of logics above S4
• On the symmetry behind duality

Related

• PVS Embeddings of Propositional and Quantified Modal Logic
• Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics
• To Teach Modal Logic: An Opinionated Survey
• Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
• Intuitionistic modal logics: a minimal setting