@inproceedings{f0d81b69ddb640dbad4c8c3ddf9463dc,

title = "Topological completeness of first-order modal logic",

abstract = "As McKinsey and Tarski [20] 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. This topological interpretation was recently extended in a natural way to arbitrary theories of full first-order logic by Awodey and Kishida [3], using topological sheaves to interpret domains of quantification. This paper proves the system of full first-order S4 modal logic to be deductively complete with respect to such extended topological semantics. The techniques employed are related to recent work in topos theory, but are new to systems of modal logic. They are general enough to also apply to other modal systems.",

keywords = "Completeness, First-order modal logic, Topological semantics",

author = "Steve Awodey and Kohei Kishida",

year = "2014",

month = jan,

day = "1",

language = "English (US)",

series = "Advances in Modal Logic",

publisher = "College Publications",

pages = "1--17",

editor = "Torben Brauner and Lawrence Moss and Thomas Bolander and Silvio Ghilardi",

booktitle = "Advances in Modal Logic",

note = "9th Conference on Advances in Modal Logic, AiML 2012 ; Conference date: 22-08-2012 Through 25-08-2012",

}