Date of Original Version

2008

Type

Article

Published In

The Review of Symbolic Logic 1, 02 (Aug. 2008): 146-166.

Rights Management

All Rights Reserved

Abstract or Description

As McKinsey and Tarski 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 article, 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.

DOI

10.1017/S1755020308080143

Included in

Philosophy Commons

Share

COinS