{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T18:49:15Z","timestamp":1760986155963,"version":"3.40.5"},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T00:00:00Z","timestamp":1679443200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2024,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones. This is applied to many systems, including the logics of finite width, and a broader class of multimodal logics of \u2018finite achronal width\u2019 that are introduced here.<\/jats:p>","DOI":"10.1017\/s1755020323000060","type":"journal-article","created":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T08:15:44Z","timestamp":1679472944000},"page":"705-735","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH"],"prefix":"10.1017","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1848-2215","authenticated-orcid":false,"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":[[2023,3,22]]},"reference":[{"key":"S1755020323000060_r2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"volume-title":"Logics of Time and Computation","year":"1987","author":"Goldblatt","key":"S1755020323000060_r10"},{"key":"S1755020323000060_r20","unstructured":"[20] Surendonk, T. J. (1998). Canonicity for Intensional Logics. Ph.D. Thesis, Australian National University."},{"key":"S1755020323000060_r3","doi-asserted-by":"publisher","DOI":"10.2307\/2273184"},{"key":"S1755020323000060_r16","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-30.1.264"},{"key":"S1755020323000060_r22","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19960420140"},{"key":"S1755020323000060_r23","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00049-8"},{"key":"S1755020323000060_r17","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1968.tb00336.x"},{"key":"S1755020323000060_r14","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"S1755020323000060_r11","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90032-8"},{"key":"S1755020323000060_r25","doi-asserted-by":"publisher","DOI":"10.2307\/2275669"},{"key":"S1755020323000060_r4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"S1755020323000060_r21","doi-asserted-by":"publisher","DOI":"10.2307\/2272558"},{"key":"S1755020323000060_r15","doi-asserted-by":"publisher","DOI":"10.2307\/2273793"},{"key":"S1755020323000060_r18","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/4.2.273"},{"key":"S1755020323000060_r19","first-page":"249","volume-title":"Advances in Modal Logic (AiML\u201996)","volume":"1","author":"Surendonk","year":"1997"},{"key":"S1755020323000060_r24","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-021-09943-4"},{"key":"S1755020323000060_r7","doi-asserted-by":"publisher","DOI":"10.2307\/2272340"},{"key":"S1755020323000060_r12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01181878"},{"key":"S1755020323000060_r9","doi-asserted-by":"publisher","DOI":"10.2307\/2274318"},{"key":"S1755020323000060_r6","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1974.tb00076.x"},{"key":"S1755020323000060_r13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"S1755020323000060_r1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1978.tb00830.x"},{"volume-title":"Model Theory","year":"1990","author":"Chang","key":"S1755020323000060_r5"},{"key":"S1755020323000060_r8","first-page":"15","volume-title":"Proceedings of the 3rd Scandinavian Logic Symposium, Uppsala, 1973","author":"Fine","year":"1975"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020323000060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,5]],"date-time":"2024-11-05T11:11:37Z","timestamp":1730805097000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020323000060\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,22]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["S1755020323000060"],"URL":"https:\/\/doi.org\/10.1017\/s1755020323000060","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2023,3,22]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}