{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T07:30:27Z","timestamp":1691739027858},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T00:00:00Z","timestamp":1625184000000},"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":[[2022,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove neighbourhood canonicity and strong completeness for the logics <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020321000319_inline1.png\" \/><jats:tex-math>\n$\\mathbf {EK}$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula> and <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020321000319_inline2.png\" \/><jats:tex-math>\n$\\mathbf {ECK}$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>, obtained by adding axiom (K), resp. adding both (K) and (C), to the minimal modal logic <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020321000319_inline3.png\" \/><jats:tex-math>\n$\\textbf {E}$\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. In contrast to an earlier proof in [10], ours is constructive. More precisely, we construct <jats:italic>minimal characteristic models<\/jats:italic> for both logics and do not rely on compactness of first order logic. The proof involves a specific circumscription technique and quite some set-theoretic maneuvers to establish that the models satisfy the appropriate frame conditions. After giving both proofs, we briefly spell out how they generalize to four stronger logics and to the extensions of the resulting six logics with a global modality.<\/jats:p>","DOI":"10.1017\/s1755020321000319","type":"journal-article","created":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T09:34:43Z","timestamp":1625218483000},"page":"607-623","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF"],"prefix":"10.1017","volume":"15","author":[{"given":"FREDERIK","family":"VAN DE PUTTE","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PAUL","family":"MCNAMARA","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2021,7,2]]},"reference":[{"key":"S1755020321000319_r4","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040067312"},{"key":"S1755020321000319_r3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"S1755020321000319_r1","unstructured":"[1] Benton, R.\u00a0A . (1975). Strong modal completeness with respect to neighborhood semantics. Unpublished manuscript. Department of Philosophy. The University of Michigan."},{"key":"S1755020321000319_r8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9"},{"key":"S1755020321000319_r6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00257488"},{"key":"S1755020321000319_r5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.1.5"},{"key":"S1755020321000319_r9","doi-asserted-by":"publisher","DOI":"10.2307\/2695098"},{"key":"S1755020321000319_r7","first-page":"157","article-title":"Toward a systematization of logics for monadic and dyadic agency and ability, revisited","volume":"6","author":"McNamara","year":"2019","journal-title":"Filosofiska Notiser"},{"key":"S1755020321000319_r10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004201429142"},{"key":"S1755020321000319_r2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,17]],"date-time":"2022-08-17T01:33:11Z","timestamp":1660699991000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000319\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,2]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["S1755020321000319"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000319","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,2]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. 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"}}]}}