{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T09:19:34Z","timestamp":1783070374819,"version":"3.54.6"},"reference-count":14,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.447.27","type":"journal-article","created":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T14:38:16Z","timestamp":1782657496000},"page":"484-499","source":"Crossref","is-referenced-by-count":0,"title":["On Modal Logics of Connectedness in Metric Spaces"],"prefix":"10.4204","volume":"447","author":[{"given":"John","family":"Harding","sequence":"first","affiliation":[{"name":"New Mexico State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ilya","family":"Shapirovsky","sequence":"additional","affiliation":[{"name":"New Mexico State University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2720","published-online":{"date-parts":[[2026,6,29]]},"reference":[{"key":"BDV","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"issue":"1","key":"Goranko-Passy","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the Universal Modality: Gains and Questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"RCC-2008","first-page":"151","article-title":"Topology, Connectedness, and Modal Logic","volume-title":"Advances in Modal Logic","volume":"7","author":"Kontchakov","year":"2008"},{"key":"RCC-2010","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-6(3:7)2010","article-title":"Spatial Logics with Connectedness Predicates","volume":"Volume 6, Issue 3","author":"Kontchakov","year":"2010","journal-title":"Logical Methods in Computer Science"},{"key":"KuruczWZ05","first-page":"193","article-title":"Modal Logics for Metric Spaces: Open Problems","volume-title":"We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two","author":"Kurucz","year":"2005"},{"issue":"1","key":"Kutz2007","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s11225-007-9023-3","article-title":"Notes on Logics of Metric Spaces","volume":"85","author":"Kutz","year":"2007","journal-title":"Studia Logica"},{"key":"Kutz-Sturm-Suzuki-Wolter-Zakharyaschev2002","doi-asserted-by":"publisher","first-page":"425","DOI":"10.3166\/jancl.12.425-439","article-title":"Axiomatizing Distance Logics","volume":"12","author":"Kutz","year":"2002","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"Kutz-Sturm-Suzuki-Wolter-Zakharyaschev2003","doi-asserted-by":"publisher","DOI":"10.1145\/635499.635504","article-title":"Logics of Metric Spaces","volume":"4","author":"Kutz","year":"2003","journal-title":"ACM Trans. Comput. Logic"},{"issue":"1","key":"McKinsey-Tarski-1944","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","article-title":"The Algebra of Topology","volume":"45","author":"McKinsey","year":"1944","journal-title":"Annals of Mathematics"},{"issue":"1","key":"Seg1968-S4.1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1111\/j.1755-2567.1968.tb00335.x","article-title":"Decidability of S4.1","volume":"34","author":"Segerberg","year":"1968","journal-title":"Theoria"},{"key":"ChromoWallic","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-031-39784-4_22","article-title":"Decidability of Modal Logics of Non-k-Colorable graphs","volume-title":"Logic, Language, Information, and Computation","author":"Shapirovsky","year":"2023"},{"key":"Shehtman99","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1080\/11663081.1999.10510972","article-title":"``Everywhere'' and ``Here''","volume":"9","author":"Shehtman","year":"1999","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"TopologicalAnalysis-Whyburn","series-title":"Princeton Legacy Library","doi-asserted-by":"crossref","DOI":"10.1515\/9781400879335","volume-title":"Topological Analysis","author":"Whyburn","year":"1964"},{"issue":"3","key":"Wolter2005","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2178\/jsl\/1122038915","article-title":"A Logic for Metric and Topology","volume":"70","author":"Wolter","year":"2005","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T08:55:49Z","timestamp":1783068949000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2606.31880v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,29]]},"references-count":14,"URL":"https:\/\/doi.org\/10.4204\/eptcs.447.27","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,29]]}}}