{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T01:34:28Z","timestamp":1758332068477,"version":"3.44.0"},"reference-count":16,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T00:00:00Z","timestamp":1757635200000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"London Mathematical Society Computer Science Scheme 7","award":["SC7-2022-05"],"award-info":[{"award-number":["SC7-2022-05"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In the vein of recent work that provides non-normal modal interpretations of various topological operators, this paper proposes a modal logic for a spatial isolation operator. Focusing initially on neighbourhood systems, we prove several characterization results, demonstrating the adequacy of the interpretation and highlighting certain semantic insensitivities that result from the relative expressive weakness of the isolation operator. We then transition to the topological setting, proving a topological characterization result.<\/jats:p>","DOI":"10.1093\/logcom\/exaf046","type":"journal-article","created":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T20:28:30Z","timestamp":1758227310000},"source":"Crossref","is-referenced-by-count":0,"title":["Logics of spatial isolation"],"prefix":"10.1093","volume":"35","author":[{"given":"Can","family":"Ba\u015fkent","sequence":"first","affiliation":[{"name":"Department of Computer Science, Middlesex University , London, NW4 4BT ,","place":["UK"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David R","family":"Gilbert","sequence":"additional","affiliation":[{"name":"Department of Philosophy, University of British Columbia , Vancouver, V6T 1Y1 ,","place":["Canada"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Venturi","sequence":"additional","affiliation":[{"name":"Dipartimento di Civilt\u00e1 e Forme del Sapere, University of Pisa , Pisa, 56126 ,","place":["Italy"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2025,9,12]]},"reference":[{"key":"2025091917093604100_ref1","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-3-031-62687-6_3","article-title":"A logic of isolation","volume-title":"Logic, Language, Information, and Computation","author":"Ba\u015fkent","year":"2024"},{"key":"2025091917093604100_ref2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-1-4020-5587-4_5","article-title":"Modal logics of space","volume-title":"Handbook of Spatial Logics","author":"van Benthem","year":"2007"},{"key":"2025091917093604100_ref3","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-005-4648-6","article-title":"Some results on modal axiomatization and definability for topological spaces","volume":"81","author":"Bezhanishvili","year":"2005","journal-title":"Studia Logica"},{"key":"2025091917093604100_ref4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"2025091917093604100_ref5","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/j.apal.2003.11.013","article-title":"Intuitionistic logic and modality via topology","volume":"127","author":"Esakia","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"volume-title":"Logics of false belief and radical ignorance","year":"2024","author":"Fan","key":"2025091917093604100_ref6"},{"key":"2025091917093604100_ref7","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1093\/jigpal\/jzab025","article-title":"Logics of ignorance and being wrong","volume":"30","author":"Gilbert","year":"2021","journal-title":"Logic Journal of the IGPL"},{"key":"2025091917093604100_ref8","doi-asserted-by":"crossref","first-page":"5917","DOI":"10.1007\/s11229-019-02440-1","article-title":"A logic for factive ignorance","volume":"198","author":"Kubyshkina","year":"2021","journal-title":"Synthese"},{"key":"2025091917093604100_ref9","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","article-title":"The algebra of topology","volume":"45","author":"McKinsey","year":"1944","journal-title":"Annals of Mathematics"},{"volume-title":"Introduction to Topology","year":"1974","author":"Mendelson","key":"2025091917093604100_ref10"},{"key":"2025091917093604100_ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic","author":"Pacuit","year":"2017"},{"volume-title":"Derived Sets in Euclidean Spaces and Modal Logic","year":"1990","author":"Shehtman","key":"2025091917093604100_ref12"},{"key":"2025091917093604100_ref13","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1215\/00294527-2008-018","article-title":"A note on logics of ignorance and borders","volume":"49","author":"Steinsvold","year":"2008","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2025091917093604100_ref14","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1215\/00294527-1435438","article-title":"Being wrong: Logics for false belief","volume":"52","author":"Steinsvold","year":"2011","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2025091917093604100_ref15","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1090\/S0002-9904-1938-06860-7","article-title":"Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication","volume":"44","author":"Tang","year":"1938","journal-title":"Bulletin (new series) of the American Mathematical Society"},{"key":"2025091917093604100_ref16","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","article-title":"Der Aussagenkalk\u00fcl und die Topologie","volume":"31","author":"Tarski","year":"1938","journal-title":"Fundamenta Mathematicae"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/7\/exaf046\/64257484\/exaf046.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/7\/exaf046\/64257484\/exaf046.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T21:09:45Z","timestamp":1758316185000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/doi\/10.1093\/logcom\/exaf046\/8252871"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,11]]},"references-count":16,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2025,9,11]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaf046","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2025,10]]},"published":{"date-parts":[[2025,9,11]]},"article-number":"exaf046"}}