{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T14:09:32Z","timestamp":1763388572393,"version":"3.41.0"},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2008,8]]},"abstract":"<jats:p>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 \u201cnecessity\u201d 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.<\/jats:p>","DOI":"10.1017\/s1755020308080143","type":"journal-article","created":{"date-parts":[[2008,9,10]],"date-time":"2008-09-10T08:18:40Z","timestamp":1221034720000},"page":"146-166","source":"Crossref","is-referenced-by-count":19,"title":["TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC"],"prefix":"10.1017","volume":"1","author":[{"given":"STEVE","family":"AWODEY","sequence":"first","affiliation":[]},{"given":"KOHEI","family":"KISHIDA","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2008,8,1]]},"reference":[{"key":"S1755020308080143_manual_ref-22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0609-2_9"},{"key":"S1755020308080143_manual_ref-7","unstructured":"Ghilardi, S . (1990). Modalit\u00e0 e categorie. PhD Thesis, Universite \u00e0 degli studi di Milano (in Italian)."},{"key":"S1755020308080143_manual_ref-13","unstructured":"Kishida, K . (2007). Topological semantics for first-order modal logic. MSc Thesis, Carnegie Mellon University."},{"key":"S1755020308080143_manual_ref-8","doi-asserted-by":"publisher","DOI":"10.2307\/2274697"},{"volume-title":"Sheaves in Geometry and Logic: A First Introduction to Topos Theory","year":"1992","author":"Mac Lane","key":"S1755020308080143_manual_ref-16"},{"key":"S1755020308080143_manual_ref-6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01620621"},{"key":"S1755020308080143_manual_ref-3","unstructured":"Awodey, S. , & Kishida, K. (in preparation). Topological completeness of first-order modal logic."},{"key":"S1755020308080143_manual_ref-10","first-page":"59","volume-title":"Nuovi Problemi della Logica e della Filosofia della Scienza","volume":"vol. 2","author":"Ghilardi","year":"1991"},{"key":"S1755020308080143_manual_ref-17","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)00085-4"},{"volume-title":"FLoC Satellite Workshop on Intuitionistic Modal Logics and Applications (IMLA\u201999)","year":"1999","author":"Hilken","key":"S1755020308080143_manual_ref-12"},{"key":"S1755020308080143_manual_ref-20","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635834"},{"volume-title":"The Mathematics of Metamathematics","year":"1963","author":"Rasiowa","key":"S1755020308080143_manual_ref-19"},{"volume-title":"Mathematical Intuitionism: Introduction to Proof Theory","year":"1979","author":"Dragalin","key":"S1755020308080143_manual_ref-4"},{"volume-title":"Topoi: The Categorial Analysis of Logic","year":"1979","author":"Goldblatt","key":"S1755020308080143_manual_ref-11"},{"key":"S1755020308080143_manual_ref-18","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"S1755020308080143_manual_ref-14","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"S1755020308080143_manual_ref-5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0061824"},{"volume-title":"Category Theory, Oxford Logic Guides 49","year":"2006","author":"Awodey","key":"S1755020308080143_manual_ref-1"},{"key":"S1755020308080143_manual_ref-15","first-page":"329","article-title":"Quantifiers and sheaves","volume":"1","author":"Lawvere","year":"1970","journal-title":"Actes du Congr\u00e8s International des Math\u00e9maticiens (Nice, 1970)"},{"key":"S1755020308080143_manual_ref-9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0081355"},{"key":"S1755020308080143_manual_ref-21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084231"},{"key":"S1755020308080143_manual_ref-2","unstructured":"Awodey, S. , & Kishida, K . (2005). Topological semantics for first-order modal logic. Paper read (by Kishida) at Topos Theory Summer School in Haute Bodeux, Belgium, on June 3."}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020308080143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T06:48:32Z","timestamp":1750488512000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020308080143\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["S1755020308080143"],"URL":"https:\/\/doi.org\/10.1017\/s1755020308080143","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}