file.pdf (377.82 kB)
0/0

Topology and Modality: The Topological Interpretation of First-Order Modal Logic

Download (377.82 kB)
journal contribution
posted on 04.06.2007 by Steve Awodey, Kohei Kishida
As McKinsey and Tarksi showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking the interior of an arbitrary subset of a topological space. in this paper the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

Categories

Keyword(s)

History

Publisher Statement

All Rights Reserved

Date

04/06/2007

Exports

Categories

Keyword(s)

Exports