{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:36:46Z","timestamp":1772368606830,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,11,7]],"date-time":"2013-11-07T00:00:00Z","timestamp":1383782400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11225-013-9528-x","type":"journal-article","created":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T09:55:39Z","timestamp":1383731739000},"page":"1159-1183","source":"Crossref","is-referenced-by-count":14,"title":["Free Quantified Epistemic Logics"],"prefix":"10.1007","volume":"101","author":[{"given":"Giovanna","family":"Corsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugenio","family":"Orlandelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,7]]},"reference":[{"key":"9528_CR1","doi-asserted-by":"crossref","first-page":"338","DOI":"10.2307\/2025871","volume":"74","author":"T. Burge","year":"1977","unstructured":"Burge T.: Belief De Re. The Journal of Philosophy 74, 338\u2013362 (1977)","journal-title":"The Journal of Philosophy"},{"key":"9528_CR2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF00869554","volume":"74","author":"L. Carlson","year":"1998","unstructured":"Carlson L.: Quantified Hintikka-Style Epistemic Logic. Synthese 74, 223\u2013262 (1998)","journal-title":"Synthese"},{"key":"9528_CR3","unstructured":"Colombetti, M., and A. Lomuscio, QLB: A Quantified Logic of Belief, in M\u00fcller, Woolridge, and Jennings (eds.), Intelligent Agents III, Springer-Verlag, 1997."},{"key":"9528_CR4","unstructured":"Corsi, G., Necessary for, in Glymour, Wei, and Westerstahl (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the Thirtheen International Congress, King\u2019s College Publications, 2009."},{"key":"9528_CR5","unstructured":"Corsi, G., and G. Tassi, A New Approach to Epistemic Logic, forthcoming."},{"key":"9528_CR6","doi-asserted-by":"crossref","unstructured":"Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9528_CR7","unstructured":"Fitting, M.C., Modal Logic Should Say More than it Does, in Lassez, and Plokin (eds.), Computational Logic, MIT Press, 1991."},{"key":"9528_CR8","doi-asserted-by":"crossref","unstructured":"Fitting, M.C., and R.L. Mendelsohn, First-Order Modal logic, Kluwer, 1998.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"9528_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1013842612702","volume":"69","author":"M.C. Fitting","year":"2001","unstructured":"Fitting M.C., Thalmann L., Voronkov A.: Term-Modal Logic. Studia Logica 69, 133\u2013169 (2001)","journal-title":"Studia Logica"},{"key":"9528_CR10","doi-asserted-by":"crossref","unstructured":"Gochet, P., and P. Gribomont, Epistemic Logic, in Gabbay, and Wood (eds.), The Handbook of History and Philosophy of Logic, vol 6, Elsevier, 2006.","DOI":"10.1016\/S1874-5857(06)80028-2"},{"key":"9528_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0004-3702(95)98593-D","volume":"74","author":"A.J. Grove","year":"1995","unstructured":"Grove A.J.: Naming and Identity in Epistemic Logic part II: a First-Order Logic for Naming. Artificial Intelligence 74, 31\u2013350 (1995)","journal-title":"Artificial Intelligence"},{"key":"9528_CR12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1093\/jos\/9.3.183","volume":"9","author":"I. Heim","year":"1992","unstructured":"Heim I.: Presupposition Projection and the Semantics of Attitudes Verbs. Journal of Semantics 9, 183\u2013221 (1992)","journal-title":"Journal of Semantics"},{"key":"9528_CR13","doi-asserted-by":"crossref","unstructured":"Hendricks, V.F., K.F. Jorgensen, and S. A. Pedersen, Introduction, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.","DOI":"10.1007\/978-94-007-1001-6_1"},{"key":"9528_CR14","unstructured":"Hintikka, J., Knowledge and Belief. Cornell University Press, 1962."},{"key":"9528_CR15","doi-asserted-by":"crossref","unstructured":"Hintikka, J., A Second Generation Epistemic Logic and Its General Significance, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.","DOI":"10.1007\/978-94-007-1001-6_3"},{"key":"9528_CR16","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/BF00568057","volume":"19","author":"D. Kaplan","year":"1968","unstructured":"Kaplan D.: Quantifying in. Synthese 19, 178\u2013214 (1968)","journal-title":"Synthese"},{"key":"9528_CR17","doi-asserted-by":"crossref","first-page":"513","DOI":"10.2307\/2184843","volume":"88","author":"D. Lewis","year":"1979","unstructured":"Lewis D.: Attitudes De Dicto and De Se. The Philosophical Review 88, 513\u2013543 (1979)","journal-title":"The Philosophical Review"},{"key":"9528_CR18","doi-asserted-by":"crossref","unstructured":"Meyer, J-J.Ch., and W. van der Hoek, Epistemic logic for AI and Computer Science, Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511569852"},{"key":"9528_CR19","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2307\/2022451","volume":"53","author":"W.V.O. Quine","year":"1956","unstructured":"Quine W.V.O.: Quantifiers and Propositional Attitudes. The Journal of Philosophy 53, 177\u2013187 (1956)","journal-title":"The Journal of Philosophy"},{"key":"9528_CR20","unstructured":"von Wright, G.H., An Essay in Modal Logic, North-Holland, 1951."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9528-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9528-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9528-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T19:39:56Z","timestamp":1746041996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9528-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,7]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["9528"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9528-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,7]]}}}