{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:10:35Z","timestamp":1759839035372,"version":"3.41.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T00:00:00Z","timestamp":1532390400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10992-018-9473-2","type":"journal-article","created":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T10:06:16Z","timestamp":1532426776000},"page":"501-521","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["A Dynamic Solution to the Problem of Logical Omniscience"],"prefix":"10.1007","volume":"48","author":[{"given":"Jens Christian","family":"Bjerring","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mattias","family":"Skipper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,24]]},"reference":[{"volume-title":"Logical studies of paraconsistent reasoning in science and mathematics","year":"2016","key":"9473_CR1","unstructured":"Andreas, H., & Verd\u00e9e, P. (Eds.). (2016). Logical studies of paraconsistent reasoning in science and mathematics. Berlin: Springer."},{"key":"9473_CR2","unstructured":"Berto, F. (2013). Impossible Worlds. In Zalta, Ed.N. (Ed.) The Stanford encyclopedia of philosophy: Winter 2013."},{"key":"9473_CR3","doi-asserted-by":"publisher","first-page":"2505","DOI":"10.1007\/s11229-011-0038-y","volume":"190.13","author":"JC Bjerring","year":"2013","unstructured":"Bjerring, J.C. (2013). Impossible worlds and logical omniscience: an impossibility result. Synthese, 190.13, 2505\u20132524.","journal-title":"Synthese"},{"key":"9473_CR4","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10992-012-9257-z","volume":"43.1","author":"JC Bjerring","year":"2014","unstructured":"Bjerring, J.C. (2014). Problems in epistemic space. Journal of Philosophical Logic, 43.1, 153\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"9473_CR5","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1093\/pq\/pqw028","volume":"67.266","author":"JC Bjerring","year":"2017","unstructured":"Bjerring, J.C., & Schwarz, W. (2017). Granularity problems. Philosophical quarterly, 67.266, 22\u201337.","journal-title":"Philosophical quarterly"},{"key":"9473_CR6","unstructured":"Cherniak, C. (1986). Minimal rationality. MIT Press."},{"key":"9473_CR7","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1111\/j.1755-2567.1970.tb00433.x","volume":"36","author":"M Cresswell","year":"1970","unstructured":"Cresswell, M. (1970). Classical intensional logic. Theoria, 36, 347\u2013372.","journal-title":"Theoria"},{"key":"9473_CR8","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BF00649986","volume":"1","author":"M Cresswell","year":"1972","unstructured":"Cresswell, M. (1972). Intensional logics and logical truth. Journal of Philosophical Logic, 1, 2\u201315.","journal-title":"Journal of Philosophical Logic"},{"key":"9473_CR9","unstructured":"Cresswell, M. (1973). Logics and languages. Methuen and Co."},{"key":"9473_CR10","doi-asserted-by":"crossref","unstructured":"Ditmarsch, W., Hoek, W., Kooi, B. (2008). Dynamic epistemic logic. Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"9473_CR11","doi-asserted-by":"crossref","unstructured":"Drapkin, J., & Perlis, D. (1986). A preliminary excursion into step-logics. In Ghidini, C., Giodini, P., van der Hoek, W. (Eds.) Proceedings of the SIGART international symposium on methodologies for intelligent systems (pp. 262\u2013269).","DOI":"10.1145\/12808.12837"},{"key":"9473_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1080\/09528139008953715","volume":"2","author":"J Drapkin","year":"1990","unstructured":"Drapkin, J., & Perlis, D. (1990). Reasoning situated in time I: basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2, 75\u201398.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"9473_CR13","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7.5","author":"HN Duc","year":"1997","unstructured":"Duc, H.N. (1997). Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation, 7.5, 633\u2013648.","journal-title":"Journal of Logic and Computation"},{"key":"9473_CR14","unstructured":"Elgot-Drapkin, J., & et al. (1999). Active logics: a unified formal approach to episodic reasoning. Tech. rep. University of Maryland."},{"key":"9473_CR15","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(94)00060-3","volume":"79","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Vardi, M. (1995). A nonstandard approach to the logical omniscience problem. Artificial Intelligence, 79, 203\u2013240.","journal-title":"Artificial Intelligence"},{"key":"9473_CR16","doi-asserted-by":"crossref","unstructured":"Fagin, R., & et al. (1995). Reasoning about knowledge. MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9473_CR17","unstructured":"Hintikka, J. (1962). Knowledge and belief: an introduction to the two notions. Cornell University Press."},{"key":"9473_CR18","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J Hintikka","year":"1975","unstructured":"Hintikka, J. (1975). Impossible possible worlds vindicated. Journal of Philosophical Logic, 4, 475\u2013484.","journal-title":"Journal of Philosophical Logic"},{"key":"9473_CR19","unstructured":"Jago, M. (2013). The problem of rational knowledge. In Erkenntnis (pp. 1\u201318)."},{"key":"9473_CR20","doi-asserted-by":"crossref","unstructured":"Jago, M. (2014). The impossible: an essay on hyperintensionality. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001"},{"key":"9473_CR21","unstructured":"Lakemeyer, G. (1987). Tractable meta-reasoning in propositional logics of belief. In Tenth International joint conference on artificial intelligence (pp. 198\u2013202)."},{"key":"9473_CR22","unstructured":"Levesque, H.J. (1984). A logic of implicit and explicit belief. In National Conference on artificial intelligence (pp. 198\u2013202)."},{"key":"9473_CR23","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1305\/ndjfl\/1039540769","volume":"38","author":"D Nolan","year":"1997","unstructured":"Nolan, D. (1997). Impossible worlds: a modest approach. Notre Dame Journal of Formal Logic, 38, 535\u2013572.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9473_CR24","first-page":"106","volume":"35","author":"V Rantala","year":"1982","unstructured":"Rantala, V. (1982). ImpossibleWorlds semantics and logical omniscience. Acta Philosophica Fennica, 35, 106\u2013115.","journal-title":"Acta Philosophica Fennica"},{"key":"9473_CR25","doi-asserted-by":"crossref","first-page":"377","DOI":"10.12775\/LLP.2015.014","volume":"24","author":"MS Rasmussen","year":"2015","unstructured":"Rasmussen, M.S. (2015). Dynamic epistemic logic and logical omniscience. Logic and Logical Philosophy, 24, 377\u2013399.","journal-title":"Logic and Logical Philosophy"},{"key":"9473_CR26","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H Wansing","year":"1990","unstructured":"Wansing, H. (1990). A general possible worlds framework for reasoning about knowledge and belief. Studia Logica: An International Journal for Symbolic Logic, 49, 523\u2013539.","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"key":"9473_CR27","unstructured":"Weirich, P. (2004). Realistic decision theory: rules for nonideal agents in nonideal circumstances. OUP."},{"key":"9473_CR28","volume-title":"An essay in modal logic","author":"GH Wright","year":"1951","unstructured":"Wright, G.H. (1951). An essay in modal logic. Amsterdam: North\u2013Holland Pub. Co."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9473-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9473-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9473-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T23:59:28Z","timestamp":1751759968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9473-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,24]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9473"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9473-2","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2018,7,24]]},"assertion":[{"value":"9 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 July 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}