{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:33:48Z","timestamp":1728174828542},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2005,10,1]],"date-time":"2005-10-01T00:00:00Z","timestamp":1128124800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2005,10]]},"DOI":"10.1007\/s10992-005-3664-3","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T02:56:17Z","timestamp":1132023377000},"page":"621-649","source":"Crossref","is-referenced-by-count":9,"title":["Unifying Quantified Modal Logic"],"prefix":"10.1007","volume":"34","author":[{"given":"James W.","family":"Garson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23664_CR1","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.2178\/jsl\/1190150295","volume":"67","author":"G. Corsi","year":"2002","unstructured":"Corsi, G. (2002) A unified completeness theorem for quantified modal logics, J. Symbolic Logic 67, 1483\u20131510.","journal-title":"J. Symbolic Logic"},{"issue":"6","key":"23664_CR2","first-page":"271","volume":"135","author":"M. J. Cresswell","year":"1991","unstructured":"Cresswell, M. J. (1991) In defence of the Barcan Formula, Logique et Analyse 135(6), 271\u2013282.","journal-title":"Logique et Analyse"},{"key":"23664_CR3","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01048353","volume":"24","author":"M. J. Cresswell","year":"1995","unstructured":"Cresswell, M. J. (1995) Incompleteness and the Barcan Formulas, J. Philos. Logic 24, 379\u2013403.","journal-title":"J. Philos. Logic"},{"key":"23664_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/j.apal.2003.11.014","volume":"127","author":"M. Fitting","year":"2004","unstructured":"Fitting, M. (2004) First order intensional logic, Ann. Pure Appl. Logic 127, 171\u2013193.","journal-title":"Ann. Pure Appl. Logic"},{"key":"23664_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First Order Modal Logic","author":"M. Fitting","year":"1998","unstructured":"Fitting, M. and Mendelsohn, R. (1998) First Order Modal Logic, Kluwer, Dordrecht."},{"key":"23664_CR6","volume-title":"Handbook of Philosophical Logic","year":"2001","unstructured":"Gabbay, D. and Guenthner, F. (eds.) (2001) Handbook of Philosophical Logic, Vol. 3, 2nd edn, Kluwer, Dordrecht.","edition":"2"},{"key":"23664_CR7","unstructured":"Garson, J. (2001) Quantification in modal logic, in Gabbay and Guenthner (2001), pp. 267\u2013323."},{"key":"23664_CR8","unstructured":"Hintikka, J. (1970) Existential and uniqueness presuppositions, in Lambert (1970), pp. 20\u201355."},{"key":"23664_CR9","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. Hughes","year":"1996","unstructured":"Hughes, G. and Cresswell, M. (1996) A New Introduction to Modal Logic, Routledge, London."},{"key":"23664_CR10","volume-title":"Philosophical Problems in Logic","year":"1970","unstructured":"Lambert, K. (ed.) (1970) Philosophical Problems in Logic, D. Reidel, Dordrecht."},{"key":"23664_CR11","volume-title":"Derivation and Counterexample","year":"1972","unstructured":"Lambert, K. and van Fraassen, B. (1972) Derivation and Counterexample, Dickenson Publishing Company, New York."},{"issue":"Logic and Langu","key":"23664_CR12","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2214181","volume":"8","author":"B. Linsky","year":"1994","unstructured":"Linsky, B. and Zalta, E. (1994) In defense of the simplest quantified modal logic, Philosophical Perspectives 8 (Logic and Language), 431\u2013458.","journal-title":"Philosophical Perspectives"},{"key":"23664_CR13","unstructured":"Thomason, R. (1970) Some completeness results for modal predicate calculi, in Lambert (1970), pp. 56\u201376."},{"key":"23664_CR14","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1023\/A:1005331819843","volume":"48","author":"T. Williamson","year":"1998","unstructured":"Williamson, T. (1998) Bare possibilia, Erkenntnis 48, 257\u2013273.","journal-title":"Erkenntnis"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-3664-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-005-3664-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-3664-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:47Z","timestamp":1559338187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-005-3664-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10]]},"references-count":14,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2005,10]]}},"alternative-id":["23664"],"URL":"https:\/\/doi.org\/10.1007\/s10992-005-3664-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10]]}}}