{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:36:44Z","timestamp":1772368604972,"version":"3.50.1"},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4119,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2002,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic <jats:italic>K<\/jats:italic>. with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for systems with the extended Barcan rule as well as for some quantified extensions of the modal logic <jats:italic>B<\/jats:italic>. The incompleteness of <jats:italic>Q\u00b0.B + BF<\/jats:italic> is also proved.<\/jats:p>","DOI":"10.2178\/jsl\/1190150295","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T19:16:54Z","timestamp":1197573414000},"page":"1483-1510","source":"Crossref","is-referenced-by-count":20,"title":["A unified completeness theorem for quantified modal logics"],"prefix":"10.1017","volume":"67","author":[{"given":"Giovanna","family":"Corsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200009178_ref006","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"S0022481200009178_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-3272-8_3"},{"key":"S0022481200009178_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1"},{"key":"S0022481200009178_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"S0022481200009178_ref005","first-page":"249","volume-title":"Handbook of philosophical logic","volume":"II","author":"Garson","year":"2002"},{"key":"S0022481200009178_ref007","first-page":"83","article-title":"Semantical considerations on modal logics","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"S0022481200009178_ref002","first-page":"1","article-title":"Counterparts and possible worlds. A study on quantified modal logics","volume":"21","author":"Corsi","year":"2001","journal-title":"Preprint, Dipartimento di Filosofia, Universit\u00e0 di Bologna"},{"key":"S0022481200009178_ref001","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340308"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T00:17:56Z","timestamp":1557188276000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200009178\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S0022481200009178"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1190150295","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}