{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:57Z","timestamp":1761611217262},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4302,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2002,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>An interpolation theorem holds for many standard modal logics, but first order <jats:bold>S5<\/jats:bold> is a prominent example of a logic for which it fails. In this paper it is shown that a first order <jats:bold>S5<\/jats:bold> interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.<\/jats:p>","DOI":"10.2178\/jsl\/1190150101","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T14:13:31Z","timestamp":1197555211000},"page":"621-634","source":"Crossref","is-referenced-by-count":13,"title":["Interpolation for first order S5"],"prefix":"10.1017","volume":"67","author":[{"given":"Melvin","family":"Fitting","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200009658_ref004","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"},{"key":"S0022481200009658_ref017","first-page":"150","volume":"37","author":"Thomason","year":"1972","journal-title":"Semantic analysis of tense logic"},{"key":"S0022481200009658_ref013","volume-title":"The principles of mathematics","author":"Russell","year":"1903"},{"key":"S0022481200009658_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7"},{"key":"S0022481200009658_ref003","first-page":"257","volume":"34","author":"Bull","year":"1969","journal-title":"On modal logic with propositional quantifiers"},{"key":"S0022481200009658_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"S0022481200009658_ref015","volume-title":"Technical Report MAC TR-133","author":"Stockmeyer","year":"1974"},{"key":"S0022481200009658_ref012","first-page":"452","volume":"33","author":"Prawitz","year":"1968","journal-title":"Hauptsatz for higher order logic"},{"key":"S0022481200009658_ref005","first-page":"201","volume":"44","author":"Fine","year":"1979","journal-title":"Failures of the interpolation lemma in quantified modal logic"},{"key":"S0022481200009658_ref006","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093894722"},{"key":"S0022481200009658_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5"},{"key":"S0022481200009658_ref010","volume-title":"Mathematics of modality","author":"Goldblatt","year":"1993"},{"key":"S0022481200009658_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1"},{"key":"S0022481200009658_ref011","first-page":"355","volume":"35","author":"Kaplan","year":"1970","journal-title":"S5 with quantifiable propositional variables"},{"key":"S0022481200009658_ref016","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/01940399"},{"key":"S0022481200009658_ref001","volume-title":"Solvable cases of the decision problem","author":"Ackermann","year":"1954"},{"key":"S0022481200009658_ref002","first-page":"977","volume":"66","author":"Areces","year":"2001","journal-title":"Hybrid logics: Characterization, interpolation and complexity"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200009658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T21:06:31Z","timestamp":1557176791000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200009658\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["S0022481200009658"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1190150101","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}