{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T00:09:31Z","timestamp":1721952571814},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T00:00:00Z","timestamp":1571875200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2020,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for some languages and spaces, no standard modal deductive system is strongly complete.<\/jats:p>","DOI":"10.1017\/s1755020319000534","type":"journal-article","created":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T15:36:25Z","timestamp":1571931385000},"page":"611-632","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES"],"prefix":"10.1017","volume":"13","author":[{"given":"ROBERT","family":"GOLDBLATT","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"IAN","family":"HODKINSON","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2019,10,24]]},"reference":[{"key":"S1755020319000534_ref20","volume-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"S1755020319000534_ref18","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"S1755020319000534_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2016.11.006"},{"key":"S1755020319000534_ref11","first-page":"342","volume-title":"Advances in Modal Logic","volume":"11","author":"Goldblatt","year":"2016"},{"key":"S1755020319000534_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"S1755020319000534_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0097006"},{"key":"S1755020319000534_ref10","volume-title":"Introduction to Boolean Algebras","author":"Givant","year":"2009"},{"key":"S1755020319000534_ref4","first-page":"785","article-title":"On the structure of perfect sets of points","volume":"12","author":"Brouwer","year":"1910","journal-title":"Proceedings of the Academy Amsterdam"},{"key":"S1755020319000534_ref19","doi-asserted-by":"publisher","DOI":"10.2307\/2268135"},{"key":"S1755020319000534_ref14","volume-title":"Handbook of Boolean Algebras","volume":"1","author":"Koppelberg","year":"1989"},{"key":"S1755020319000534_ref9","author":"Gerhardt","year":"2004"},{"key":"S1755020319000534_ref8","author":"Gatto","year":"2016"},{"key":"S1755020319000534_ref17","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-94-017-8860-1_11","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","volume":"4","author":"Kudinov","year":"2014"},{"key":"S1755020319000534_ref23","volume-title":"General Topology","author":"Willard","year":"1970"},{"key":"S1755020319000534_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9732-1"},{"key":"S1755020319000534_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000446"},{"key":"S1755020319000534_ref22","doi-asserted-by":"publisher","DOI":"10.4064\/fm-31-1-103-134"},{"key":"S1755020319000534_ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000087"},{"key":"S1755020319000534_ref1","volume-title":"Models and Ultraproducts: An Introduction","author":"Bell","year":"1969"},{"key":"S1755020319000534_ref16","first-page":"319","volume-title":"Advances in Modal Logic","volume":"6","author":"Kudinov","year":"2006"},{"key":"S1755020319000534_ref21","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1948-09118-2"},{"key":"S1755020319000534_ref6","volume-title":"General Topology","author":"Engelking","year":"1989"},{"key":"S1755020319000534_ref5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","volume":"35","author":"Chagrov","year":"1997"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020319000534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T15:51:57Z","timestamp":1721922717000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020319000534\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,24]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["S1755020319000534"],"URL":"https:\/\/doi.org\/10.1017\/s1755020319000534","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,24]]},"assertion":[{"value":"Copyright \u00a9 Association for Symbolic Logic 2019\u00a0","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}