{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:28:22Z","timestamp":1777894102650,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,2,1]],"date-time":"2010-02-01T00:00:00Z","timestamp":1264982400000},"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":[[2010,2]]},"DOI":"10.1007\/s11225-010-9227-9","type":"journal-article","created":{"date-parts":[[2010,2,26]],"date-time":"2010-02-26T10:59:39Z","timestamp":1267181979000},"page":"1-22","source":"Crossref","is-referenced-by-count":18,"title":["An Internal Version of Epistemic Logic"],"prefix":"10.1007","volume":"94","author":[{"given":"Guillaume","family":"Aucher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,13]]},"reference":[{"issue":"2","key":"9227_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"Carlos Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n Carlos, Peter G\u00e4rdenfors, David Makinson (1985) \u2018On the logic of theory change: Partial meet contraction and revision functions\u2019. Journal of Symbolic Logic 50(2): 510\u2013530","journal-title":"Journal of Symbolic Logic"},{"key":"9227_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF00413768","volume":"109","author":"Horacio Arl\u00f3 Costa","year":"1996","unstructured":"Arl\u00f3 Costa Horacio, Isaac Levi (1996) \u2018Two notions of epistemic validity (epistemic models for Ramsey\u2019s conditionals)\u2019. Synthese 109: 217\u2013262","journal-title":"Synthese"},{"key":"9227_CR3","unstructured":"Aucher, Guillaume. \u2018Internal models and private multi-agent belief revision\u2019, in Muller Padgham, Parkes, and Parsons, (eds.), Proceedings of Autonomous Agents and Multi-agent Systems (AAMAS 2008), Estoril, Portugal, 12-16 May 2008, pp. 721\u2013727."},{"key":"9227_CR4","doi-asserted-by":"crossref","unstructured":"Aucher, Guillaume. \u2018Generalizing AGM to a multi-agent setting\u2019, Logic Journal of the IGPL, (2009). To appear.","DOI":"10.1093\/jigpal\/jzp037"},{"issue":"2","key":"9227_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"Alexandru Baltag","year":"2004","unstructured":"Baltag Alexandru, Larry Moss (2004) \u2018Logic for epistemic programs\u2019. Synthese 139(2): 165\u2013224","journal-title":"Synthese"},{"key":"9227_CR6","unstructured":"Banerjee, Mohua, and Didier dubois. \u2018A simple modal logic for reasoning about revealed beliefs\u2019, in Claudio Sossai, and Gaetano Chemello, (eds.), ECSQARU, vol. 5590 of LNCS, Springer, 2009, pp. 805\u2013816."},{"key":"9227_CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1006\/reec.1999.0187","volume":"53","author":"Pierpaolo Battigalli","year":"1999","unstructured":"Battigalli Pierpaolo, Giacomo Bonanno (1999) \u2018Recent results on belief, knowledge and the epistemic foundations of game theory\u2019. Research in Economics 53: 149\u2013225","journal-title":"Research in Economics"},{"key":"9227_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, Patrick, Maarten de Rijke, and Yde Venema, Modal Logic, vol. 53 of Cambridge Tracts in Computer Science, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9227_CR9","doi-asserted-by":"crossref","unstructured":"Booth, Richard, and Alexander Nittka. \u2018Reconstructing an agent\u2019s epistemic state from observations about its beliefs and non-beliefs\u2019, Journal of Logic and Computation, (2007). Accepted for publication.","DOI":"10.1093\/logcom\/exm091"},{"key":"9227_CR10","doi-asserted-by":"crossref","first-page":"132","DOI":"10.2307\/2271621","volume":"29","author":"Hector-Neri Casta\u00f1eda","year":"1964","unstructured":"Casta\u00f1eda Hector-Neri (1964) \u2018Review of \u2018knowledge and belief\u201d. Journal of Symbolic Logic 29: 132\u2013134","journal-title":"Journal of Symbolic Logic"},{"key":"9227_CR11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"Philip Cohen","year":"1990","unstructured":"Cohen Philip, Hector Levesque (1990) \u2018Intention is choice with commitment\u2019. Artificial intelligence 42: 213\u2013261","journal-title":"Artificial intelligence"},{"key":"9227_CR12","unstructured":"Duc, Ho Ngoc, Resource-Bounded Reasoning about Knowledge, Ph.D. thesis, University of Leipzig, 2001."},{"key":"9227_CR13","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"Ronald Fagin","year":"1988","unstructured":"Fagin Ronald, Joseph Halpern (1988) \u2018Belief, awareness, and limited reasoning\u2019. Artificial Intelligence 34: 39\u201376","journal-title":"Artificial Intelligence"},{"key":"9227_CR14","doi-asserted-by":"crossref","unstructured":"Fagin, Ronald, Joseph Halpern, Yoram Moses, and Moshe Vardi, Reasoning about knowledge, MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9227_CR15","volume-title":"Knowledge in Flux (Modeling the Dynamics of Epistemic States)","author":"Peter G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors Peter (1988) Knowledge in Flux (Modeling the Dynamics of Epistemic States). Bradford\/MIT Press, Cambridge, Massachusetts"},{"key":"9227_CR16","unstructured":"Georgeff, Michael, and Anand Rao. \u2018Asymmetry thesis and side-effect problems in linear time and branching time intention logics\u2019, in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), (Sydney, Australia), 1991, pp. 498\u2013504."},{"key":"9227_CR17","unstructured":"Herzig, Andreas, J\u00e9r\u00f4me Lang, and Pierre Marquis. \u2018Revision and update in multiagent belief structures\u2019, in 5th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6), Leipzig, 2004."},{"key":"9227_CR18","volume-title":"Knowledge and Belief, An Introduction to the Logic of the Two Notions","author":"Jaakko Hintikka","year":"1962","unstructured":"Hintikka Jaakko (1962) Knowledge and Belief, An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca and London"},{"key":"9227_CR19","unstructured":"Lenzen, Wolfgang, Recent Work in Epistemic Logic, Acta Philosophica 30, North Holland Publishing Company, 1978."},{"key":"9227_CR20","unstructured":"Levesque, Hector. \u2018A logic of implicit and explicit knowledge\u2019, in AAAI-84, Austin Texas, 1984, pp. 198\u2013202."},{"key":"9227_CR21","doi-asserted-by":"crossref","unstructured":"Levi, Isaac, The covenant of reason: rationality and the commitments of thought, Cambridge University Press, 1997.","DOI":"10.1017\/CBO9781139173032"},{"key":"9227_CR22","unstructured":"Lin, Fangzhen, and Ray Reiter. \u2018Forget it!\u2019, in Proceedings of the AAAI Fall Symposium on Relevance, 1994, pp. 154\u2013159."},{"key":"9227_CR23","doi-asserted-by":"crossref","unstructured":"Meyer, John-Jules Ch., Frank de Boer, Rogier van Eijk, Koen Hindriks, and Wiebe van der Hoek. \u2018On programming KARO agents\u2019, Logic Journal of the IGPL, 9 (2001), 2.","DOI":"10.1093\/jigpal\/9.2.245"},{"key":"9227_CR24","unstructured":"Nagel, Thomas, The view from nowhere, oxford university press, 1986."},{"key":"9227_CR25","unstructured":"Nittka, Alexander, A Method for Reasoning about other Agents\u2019 Beliefs from Observations, Ph.D. thesis, University of Leipzig, 2008."},{"key":"9227_CR26","unstructured":"Rao, Anand, and Michael Georgeff. \u2018Modeling rational agents within a BDI-architecture\u2019, in R. Fikes, and E. Sandewall, (eds.), Proceedings of Knowledge Representation and Reasoning (KR & R-91), Morgan Kaufmann Publishers, 1991, pp. 473\u2013484."},{"key":"9227_CR27","doi-asserted-by":"crossref","unstructured":"van Linder, Bernd, Wiebe van der Hoek, and John-Jules Ch. Meyer. \u2018Formalising abilities and opportunities of agents\u2019, Fundamenta Informaticae, 34 (1998), 1-2, 53\u2013101.","DOI":"10.3233\/FI-1998-341203"},{"key":"9227_CR28","unstructured":"Voorbraak, Frans, As Far as I know. Epistemic Logic and Uncertainty, Ph.D. thesis, Utrecht University, 1993."},{"key":"9227_CR29","doi-asserted-by":"crossref","unstructured":"Wooldridge, Michael, Reasoning About Rational Agents, MIT Press, 2000.","DOI":"10.7551\/mitpress\/5804.001.0001"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9227-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9227-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9227-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T22:09:52Z","timestamp":1739916592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9227-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9227"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9227-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2]]}}}