{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T23:31:20Z","timestamp":1768001480557,"version":"3.49.0"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319060248","type":"print"},{"value":"9783319060255","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_13","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"381-404","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Logic and Probabilistic Update"],"prefix":"10.1007","author":[{"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[]},{"given":"Barteld","family":"Kooi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Logic 50:510\u2013530","journal-title":"J Symb Logic"},{"key":"13_CR2","unstructured":"Aucher G (2003) A combined system for update logic and belief revision. Master\u2019s thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1214\/aos\/1176343654","volume":"4","author":"R Aumann","year":"1976","unstructured":"Aumann R (1976) Agreeing to disagree. Ann Stat 4:1236\u20131239","journal-title":"Ann Stat"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag A, Moss LS (2004) Logics for epistemic programs. Synthese 139:1\u201360","journal-title":"Synthese"},{"key":"13_CR5","unstructured":"Baltag A, Moss LS, Solecki S (1998) The logic of common knowledge, public announcements, and private suspicions. In: Gilboa I (ed) Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK \u201998), pp 43\u201356"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s11229-008-9369-8","volume":"165","author":"A Baltag","year":"2008","unstructured":"Baltag A, Smets S (2008) Probabilistic dynamic belief revision. Synthese 165:179\u2013202","journal-title":"Synthese"},{"key":"13_CR7","unstructured":"Baltag A, Smets S (2008) A qualitative theory of dynamic interactive belief revision. In: Bonanno G, van der Hoek W, Woolridge M (eds) Texts in logic and games, vol 3. Amsterdam University Press, pp 9\u201358"},{"key":"13_CR8","volume-title":"Modal logic and classical logic","author":"J van Benthem","year":"1983","unstructured":"van Benthem J (1983) Modal logic and classical logic. Bibliopolis, Napoli"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"van Benthem J (2001) Correspondence theory. In: Gabbay DM, Guenthner F (eds) Handbook of philosophical logic, revised 2nd edn, vol 3. Kluwer, Dordrecht, pp 325\u2013408","DOI":"10.1007\/978-94-017-0454-0_4"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J van Benthem","year":"2001","unstructured":"van Benthem J (2001) Games in dynamic epistemic logic. Bull Econ Res 53:219\u2013248","journal-title":"Bull Econ Res"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1023\/A:1025002917675","volume":"12","author":"J van Benthem","year":"2003","unstructured":"van Benthem J (2003) Conditional probability meets update logic. J Logic Lang Inf 12:409\u2013421","journal-title":"J Logic Lang Inf"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J van Benthem","year":"2007","unstructured":"van Benthem J (2007) Dynamic logic for belief revision. J Appl Nonclass Logics 17:129\u2013155","journal-title":"J Appl Nonclass Logics"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1142\/S0219198907001254","volume":"9","author":"J van Benthem","year":"2007","unstructured":"van Benthem J (2007) Rational dynamics and epistemic logic in games. Int Game Theory Rev 9:13\u201345","journal-title":"Int Game Theory Rev"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-008-9101-1","volume":"88","author":"J van Benthem","year":"2008","unstructured":"van Benthem J (2008) Logic and reasoning: do the facts matter? Stud Logica 88:67\u201384","journal-title":"Stud Logica"},{"key":"13_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical dynamics of information and interaction","author":"J van Benthem","year":"2011","unstructured":"van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge"},{"key":"13_CR16","unstructured":"van Benthem J (2012) A problem concerning qualitative probabilistic update. p 10. (Unpublished manuscript)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-009-9209-y","volume":"93","author":"J van Benthem","year":"2009","unstructured":"van Benthem J, Gerbrandy J, Kooi BP (2009) Dynamic update with probabilities. Stud Logica 93:67\u201396","journal-title":"Stud Logica"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Bonanno G, D\u00e9gremont C (2014) Logic and game theory. In: Baltag A, Smets S (eds) Johan van Benthem on logic and information dynamics. Springer, Dordrecht, pp 421\u2013449 (Chapter 15 in this volume)","DOI":"10.1007\/978-3-319-06025-5_15"},{"key":"13_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9906-9","volume-title":"Explaining games: the epistemic programme in game theory","author":"B de Bruin","year":"2010","unstructured":"de Bruin B (2010) Explaining games: the epistemic programme in game theory. Springer, Dordrecht"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Conradie W, Ghilardi S, Palmigiano A (2014) Unified correspondence. In: Baltag A, Smets S (eds) Johan van Benthem on logic and information dynamics. Springer, Dordrecht, pp 933\u2013975 (Chapter 36 in this volume)","DOI":"10.1007\/978-3-319-06025-5_36"},{"key":"13_CR21","unstructured":"Demey L (2010) Agreeing to disagree in probabilistic dynamic epistemic logic. Master\u2019s thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"375","DOI":"10.3166\/jancl.21.375-395","volume":"21","author":"L Demey","year":"2011","unstructured":"Demey L (2011) Some remarks on the model theory of epistemic plausibility models. J Appl Nonclass Logics 21:375\u2013395","journal-title":"J Appl Nonclass Logics"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Demey, L. (2013) Contemporary epistemic logic and the Lockean thesis. Found Sci 18:599\u2013610","DOI":"10.1007\/s10699-012-9292-9"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Demey, L. (2014) Agreeing to disagree in probabilistic dynamic epistemic logic. Synthese 191:409\u2013438","DOI":"10.1007\/s11229-013-0280-6"},{"key":"13_CR25","unstructured":"Demey L (forthcoming) The dynamics of surprise. Logique Anal"},{"key":"13_CR26","unstructured":"Demey L, Kooi B, Sack J (2013) Logic and probability. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, Stanford"},{"key":"13_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H van Ditmarsch","year":"2007","unstructured":"van Ditmarsch H, van der Hoek W, Kooi B (2007) Dynamic epistemic logic. Springer, Dordrecht"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R Fagin","year":"1994","unstructured":"Fagin R, Halpern J (1994) Reasoning about knowledge and probability. J ACM 41:340\u2013367","journal-title":"J ACM"},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"235","DOI":"10.2307\/2026388","volume":"81","author":"B van Fraassen","year":"1984","unstructured":"van Fraassen B (1984) Belief and the will. J Philos 81:235\u2013256","journal-title":"J Philos"},{"key":"13_CR30","volume-title":"Knowledge in flux","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P (1988) Knowledge in flux. MIT Press, Cambridge"},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy J, Groeneveld W (1997) Reasoning about information change. J Logic Lang Inf 6:147\u2013169","journal-title":"J Logic Lang Inf"},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"Halpern JY (1991) The relationship between knowledge, belief, and certainty. Ann Math Artif Intell 4:301\u2013322 (errata in the same journal, 26:59\u201361, 1999)","DOI":"10.1007\/BF01531062"},{"key":"13_CR33","volume-title":"Reasoning about uncertainty","author":"JY Halpern","year":"2003","unstructured":"Halpern JY (2003) Reasoning about uncertainty. MIT Press, Cambridge"},{"key":"13_CR34","unstructured":"Hintikka J (1962) Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press, Ithaca"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Isaac A, Szymanik J, Verbrugge R (2014) Logic and complexity in cognitive science. In: Baltag A, Smets S (eds) Johan van Benthem on logic and information dynamics. Springer, Dordrecht, pp 787\u2013824 (Chapter 30 in this volume)","DOI":"10.1007\/978-3-319-06025-5_30"},{"key":"13_CR36","volume-title":"The logic of decision","author":"R Jeffrey","year":"1983","unstructured":"Jeffrey R (1983) The logic of decision, 2nd edn. University of Chicago Press, Chicago","edition":"2"},{"key":"13_CR37","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1025050800836","volume":"12","author":"BP Kooi","year":"2003","unstructured":"Kooi BP (2003) Probabilistic dynamic epistemic logic. J Logic Lang Inf 12:381\u2013408","journal-title":"J Logic Lang Inf"},{"key":"13_CR38","doi-asserted-by":"crossref","unstructured":"Lewis D (1980) A subjectivist\u2019s guide to objective chance. In: Jeffrey RC (ed) Studies in inductive logic and probability, vol 2. University of California Press, Berkeley, pp 263\u2013293","DOI":"10.1525\/9780520318328-009"},{"key":"13_CR39","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s11245-006-9000-x","volume":"26","author":"E Lorini","year":"2007","unstructured":"Lorini E, Castelfranchi C (2007) The cognitive structure of surprise: looking for basic principles. Topoi 26:133\u2013149","journal-title":"Topoi"},{"key":"13_CR40","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1093\/bjps\/axp044","volume":"61","author":"CJG Meacham","year":"2010","unstructured":"Meacham CJG (2010) Two mistakes regarding the principal principle. Br J Philos Sci 61:407\u2013431","journal-title":"Br J Philos Sci"},{"key":"13_CR41","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1093\/bjps\/17.2.147","volume":"17","author":"D Miller","year":"1966","unstructured":"Miller D (1966) A paradox of information. Br J Philos Sci 17:59\u201361","journal-title":"Br J Philos Sci"},{"key":"13_CR42","volume-title":"The probabilistic mind: prospects for Bayesian cognitive science","author":"M Oaksford","year":"2008","unstructured":"Oaksford M, Chater N (2008) The probabilistic mind: prospects for Bayesian cognitive science. Oxford University Press, Oxford"},{"key":"13_CR43","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S1389-0417(03)00003-2","volume":"4","author":"AV Pietarinen","year":"2003","unstructured":"Pietarinen AV (2003) What do epistemic logic and cognitive science have to do with each other? Cogn Syst Res 4:169\u2013190","journal-title":"Cogn Syst Res"},{"key":"13_CR44","unstructured":"Plaza J (1989) Logics of public communications. In: Emrich ML, Pfeifer MS, Hadzikadic M, Ras ZW (eds) Proceedings of the 4th international symposium on methodologies for intelligent systems: poster session program, Oak Ridge National Laboratory, Oak Ridge, pp 201\u2013216 (Reprinted in: Synthese 158:165\u2013179, 2007)"},{"key":"13_CR45","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/s11225-012-9415-x","volume":"100","author":"JW Romeijn","year":"2012","unstructured":"Romeijn JW (2012) Conditioning and interpretation shifts. Stud Logica 100:583\u2013606","journal-title":"Stud Logica"},{"key":"13_CR46","doi-asserted-by":"crossref","unstructured":"Rott H, Girard P (2014) Belief revision and dynamic logic. In: Baltag A, Smets S (eds) Johan van Benthem on logic and information dynamics. Springer, Dordrecht, pp 203\u2013233 (Chapter 8 in this volume)","DOI":"10.1007\/978-3-319-06025-5_8"},{"key":"13_CR47","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11229-009-9555-3","volume":"169","author":"J Sack","year":"2009","unstructured":"Sack J (2009) Extending probabilistic dynamic epistemic logic. Synthese 169:241\u2013257","journal-title":"Synthese"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T14:33:48Z","timestamp":1722868428000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_13","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"value":"2211-2758","type":"print"},{"value":"2211-2766","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}