{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T19:39:27Z","timestamp":1767987567605,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,2,3]],"date-time":"2007-02-03T00:00:00Z","timestamp":1170460800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1007\/s11229-006-9144-7","type":"journal-article","created":{"date-parts":[[2007,2,3]],"date-time":"2007-02-03T07:05:21Z","timestamp":1170486321000},"page":"191-209","source":"Crossref","is-referenced-by-count":15,"title":["My beliefs about your beliefs: a case study in theory of mind and epistemic logic"],"prefix":"10.1007","volume":"155","author":[{"given":"Hans","family":"van Ditmarsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem","family":"Labuschagne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,2,3]]},"reference":[{"issue":"1","key":"9144_CR1","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.mathsocsci.2005.01.001","volume":"50","author":"G.B. Asheim","year":"2005","unstructured":"Asheim G.B., S\u00f8vik Y. (2005). Preference-based belief operators. Mathematical Social Sciences 50(1): 61\u201382","journal-title":"Mathematical Social Sciences"},{"key":"9144_CR2","unstructured":"Aucher, G. (2003). A combined system for update logic and belief revision. Master\u2019s thesis, ILLC, University of Amsterdam, Amsterdam, The Netherlands."},{"key":"9144_CR3","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139, 165\u2013224. Knowledge, Rationality and Action, 1\u201360.","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"9144_CR4","unstructured":"Baltag, A., & Smets, S. (2006). Dynamic belief revision over multi-agent plausibility models. Proceedings of LOFT 2006 (7th conference on logic and the foundations of game and decision theory). University of Liverpool."},{"key":"9144_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4635.001.0001","volume-title":"Mindblindness: An essay on autism and theory of mind","author":"S. Baron-Cohen","year":"1995","unstructured":"Baron-Cohen S. (1995) Mindblindness: An essay on autism and theory of mind. Cambridge, MA, MIT Press"},{"key":"9144_CR6","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0010-0277(85)90022-8","volume":"21","author":"S. Baron-Cohen","year":"1985","unstructured":"Baron-Cohen S., Leslie A.M., Frith U. (1985). Does the autistic child have a \u2018theory of mind\u2019?. Cognition 21, 37\u201346","journal-title":"Cognition"},{"key":"9144_CR7","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press. Cambridge Tracts in Theoretical Computer Science 53.","DOI":"10.1017\/CBO9781107050884"},{"key":"9144_CR8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","volume":"49","author":"O. Board","year":"2004","unstructured":"Board O. (2004). Dynamic interactive epistemology. Games and Economic Behaviour 49, 49\u201380","journal-title":"Games and Economic Behaviour"},{"key":"9144_CR9","unstructured":"Cleckley, H. (1976). The mask of sanity. St Louis, MO: Mosby. Available as http:\/\/www.cassiopaea. org\/cass\/sanity_1.pdf."},{"key":"9144_CR10","unstructured":"Ferguson, D., & Labuschagne, W. A. (2002). Information-theoretic semantics for epistemic logic. In Proceedings of LOFT 5, Turin, Italy. ICER. no page numbers."},{"key":"9144_CR11","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1126\/science.286.5445.1692","volume":"286","author":"C.D. Frith","year":"1999","unstructured":"Frith C.D., Frith U. (1999). Interacting minds\u2014a biological basis. Science 286: 1692\u20131695","journal-title":"Science"},{"key":"9144_CR12","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/S1364-6613(98)01262-5","volume":"12","author":"V. Gallese","year":"1998","unstructured":"Gallese V., Goldman A. (1998). Mirror neurons and the simulation theory of mind-reading. Trends in Cognitive Sciences 12, 493\u2013501","journal-title":"Trends in Cognitive Sciences"},{"key":"9144_CR13","volume-title":"Reasoning about uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern J.Y. (2003). Reasoning about uncertainty. Cambridge, MA, MIT Press"},{"key":"9144_CR14","volume-title":"Without conscience","author":"R.D. Hare","year":"1993","unstructured":"Hare R.D. (1993). Without conscience. New York, The Guilford Press"},{"key":"9144_CR15","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","volume":"58","author":"S. Kraus","year":"1988","unstructured":"Kraus S., Lehmann D. (1988). Knowledge, belief and time. Theoretical Computer Science 58, 155\u2013174","journal-title":"Theoretical Computer Science"},{"key":"9144_CR16","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus S., Lehmann D., Magidor M. (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167\u2013207","journal-title":"Artificial Intelligence"},{"key":"9144_CR17","volume-title":"Convention, a philosophical study","author":"D.K. Lewis","year":"1969","unstructured":"Lewis D.K. (1969). Convention, a philosophical study. Cambridge (MA), Harvard University Press"},{"key":"9144_CR18","volume-title":"Counterfactuals","author":"D.K. Lewis","year":"1973","unstructured":"Lewis D.K. (1973). Counterfactuals. Cambridge (MA), Harvard University Press"},{"key":"9144_CR19","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1005577906029","volume":"50","author":"S. Lindstr\u00f6m","year":"1999","unstructured":"Lindstr\u00f6m S., Rabinowicz W. (1999). DDL unlimited: Dynamic doxastic logic for introspective agents. Erkenntnis 50, 353\u2013385","journal-title":"Erkenntnis"},{"key":"9144_CR20","unstructured":"Lomuscio, A. R. (1999). Knowledge sharing among ideal agents. Ph.D Thesis, University of Birmingham, Birmingham, UK."},{"key":"9144_CR21","unstructured":"Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems (pp. 201\u2013216). Oak Ridge: Oak Ridge National Laboratory."},{"key":"9144_CR22","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1017\/S0140525X00076512","volume":"4","author":"D. Premack","year":"1978","unstructured":"Premack D., Woodruff G. (1978). Does the chimpanzee have a \u2018theory of mind\u2019?. Behavioral and Brain Sciences 4, 515\u2013526","journal-title":"Behavioral and Brain Sciences"},{"key":"9144_CR23","unstructured":"Rao, A. S., & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, & E. Sandewall (Eds.), Proceedings of the 2nd international conference on principles of knowledge representation and reasoning (KR \u201991) (pp. 473\u2013484). San Mateo (CA): Morgan Kaufmann."},{"key":"9144_CR24","unstructured":"Rott, H. (2004). Adjusting priorities: Simple representations for 27 iterated theory change operators. In H. Langerlund, S. Lindstr\u00f6m, & R. Sliwinski (Eds.), Modality matters: Twenty-five essays in honour of Krister Segerberg (pp. 359\u2013384)."},{"key":"9144_CR25","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-011-4574-9_8","volume-title":"Logic, language, and reasoning","author":"K. Segerberg","year":"1999","unstructured":"Segerberg K. (1999). Two traditions in the logic of belief: bringing them together. In: Ohlbach H.J., Reyle U.(eds) Logic, language, and reasoning. Dordrecht, Kluwer Academic Publishers, pp. 135\u2013147"},{"key":"9144_CR26","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1111\/j.1469-7610.1992.tb00893.x","volume":"33","author":"B. Sodian","year":"1992","unstructured":"Sodian B., Frith U. (1992). Deception and sabotage in autistic, retarded, and normal children. Journal of Child Psychology and Psychiatry 33, 591\u2013606","journal-title":"Journal of Child Psychology and Psychiatry"},{"key":"9144_CR27","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in decision, belief change, and statistics vol. II","author":"W. Spohn","year":"1988","unstructured":"Spohn W. (1988). Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper W.L., Skyrms B.(eds) Causation in decision, belief change, and statistics vol. II. Dordrecht, Kluwer, pp. 105\u2013134"},{"key":"9144_CR28","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1017\/S0266267100004132","volume":"12","author":"R. Stalnaker","year":"1996","unstructured":"Stalnaker R. (1996). Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy 12, 133\u2013163","journal-title":"Economics and Philosophy"},{"key":"9144_CR29","volume-title":"Human Reasoning and Cognitive Science","author":"K. Stenning","year":"2006","unstructured":"Stenning K., van Lambalgen M. (2006). Human Reasoning and Cognitive Science. Cambridge, MA: MIT University Press"},{"key":"9144_CR30","unstructured":"van Benthem J.F.A.K. (1998). Dynamic odds and ends. Technical report, University of Amsterdam. ILLC Research Report ML-1998-08"},{"key":"9144_CR31","unstructured":"van Benthem, J. F. A. K. (2006). Dynamic logic for belief change. Journal of Applied Non-Classical Logics, 14."},{"key":"9144_CR32","unstructured":"van Benthem, J. F. A. K., & Liu, F. (2005). Dynamic logic of preference upgrade. Technical report, University of Amsterdam. ILLC Research Report PP-2005-29."},{"issue":"2","key":"9144_CR33","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/logcom\/3.2.173","volume":"3","author":"W. van der Hoek","year":"1993","unstructured":"van der Hoek W. (1993). Systems for knowledge and beliefs. Journal of Logic and Computation 3(2): 173\u2013195","journal-title":"Journal of Logic and Computation"},{"key":"9144_CR34","first-page":"229","volume":"147","author":"H.P. van Ditmarsch","year":"2005","unstructured":"van Ditmarsch H.P. (2005). Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action) 147: 229\u2013275","journal-title":"Synthese (Knowledge, Rationality & Action)"},{"key":"9144_CR35","unstructured":"van Ditmarsch, H. P., & Labuschagne, W. A. (2003). A multimodal language for revising defeasible beliefs. In E. \u00c1lvarez, R. Bosch, & L. Villamil (Eds.), Proceedings of the 12th international congress of logic, methodology, and philosophy of science (LMPS) (pp. 140\u2013141). Oviedo University Press."},{"key":"9144_CR36","volume-title":"Proceedings of the eighth international colloquium on cognitive science","author":"M. van Lambalgen","year":"2003","unstructured":"van Lambalgen M., Smid H. (2003). Reasoning patterns in autism: rules and exceptions. In Perez Miranda L.A., Larrazabal J.M.(eds) Proceedings of the eighth international colloquium on cognitive science. Dordrecht, Kluwer Science Publishers"},{"key":"9144_CR37","unstructured":"Voorbraak, F. P. J. M. (1993). As far as I know. Ph.D thesis, Utrecht University, Utrecht, NL. Questiones Infinitae volume VII."},{"key":"9144_CR38","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0010-0277(83)90004-5","volume":"13","author":"H. Wimmer","year":"1983","unstructured":"Wimmer H., Perner J. (1983). Beliefs about beliefs: Representation and constraining function of wrong beliefs in young children\u2019s understanding of deception. Cognition 13, 103\u2013128","journal-title":"Cognition"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-006-9144-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-006-9144-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-006-9144-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:32:24Z","timestamp":1559385144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-006-9144-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2,3]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["9144"],"URL":"https:\/\/doi.org\/10.1007\/s11229-006-9144-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2,3]]}}}