{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:43Z","timestamp":1762458943787,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642241291"},{"type":"electronic","value":"9783642241307"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24130-7_1","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T03:08:06Z","timestamp":1317870486000},"page":"1-27","source":"Crossref","is-referenced-by-count":1,"title":["Logical Dynamics of Evidence"],"prefix":"10.1007","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1093\/logcom\/exl019","volume":"17","author":"T. \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., Alechina, N.: The dynamics of syntactic knowledge. Journal of Logic and Computation\u00a017(1), 83\u2013116 (2007)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1093\/logcom\/12.1.13","volume":"12","author":"H. Andreka","year":"2002","unstructured":"Andreka, H., Ryan, M., Schobbens, P.Y.: Operators and laws for combining preference relations. Journal of Logic and Computation\u00a012(1), 13\u201353 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Baltag, A., Smets, S.: Conditional doxastic models: A qualitative approach to dynamic belief revision. In: Mints, G., de Queiroz, R. (eds.) Proceedings of WOLLIC 2006. LNCS, vol.\u00a0165, pp. 5\u201321 (2006)","DOI":"10.1016\/j.entcs.2006.05.034"},{"key":"1_CR4","unstructured":"Baltag, A., Smets, S.: ESSLLI (2009) course: Dynamic logics for interactive belief revision (2009), Slides available at http:\/\/alexandru.tiddlyspot.com\/#%5B%5BESSLLI09%20COURSE%5D%5D"},{"key":"1_CR5","unstructured":"Boutilier, C.: Conditional Logics for Default Reasoning and Belief Revision. Ph.D. thesis, University of Toronto (1992)"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"1_CR7","unstructured":"Demey, L.: Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic. Master\u2019s thesis, ILLC University of Amsterdam, LDC 2010-14 (2010)"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1214\/aoms\/1177698950","volume":"38","author":"A.P. Dempster","year":"1967","unstructured":"Dempster, A.P.: Upper and lower probabilities induced by a multivalued mapping. Annals of Mathematical Statistics\u00a038(2), 325\u2013339 (1967)","journal-title":"Annals of Mathematical Statistics"},{"key":"1_CR9","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library. Springer, Heidelberg (2007)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.: Belief, awareness and limited reasoning. Artificial Intelligence\u00a034, 39\u201376 (1988)","journal-title":"Artificial Intelligence"},{"key":"1_CR11","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. Ph.D. thesis, Institute for Logic, Language and Computation, DS-1999-01 (1999)"},{"key":"1_CR12","unstructured":"Girard, P.: Modal Logic for Belief and Preference Change. Ph.D. thesis, ILLC University of Amsterdam Dissertation Series DS-2008-04 (2008)"},{"key":"1_CR13","first-page":"1","volume":"26","author":"J. Halpern","year":"2006","unstructured":"Halpern, J., Pucella, R.: A logic for reasoning about evidence. Journal of AI Research\u00a026, 1\u201334 (2006)","journal-title":"Journal of AI Research"},{"key":"1_CR14","unstructured":"Hansen, H.H.: Monotonic Modal Logic. Master\u2019s thesis, Universiteit van Amsterdam (ILLC technical report: PP-2003-24) (2003)"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-5(2:2)2009","volume":"5","author":"H.H. Hansen","year":"2009","unstructured":"Hansen, H.H., Kupke, C., Pacuit, E.: Neighbourhood structures: Bisimilarity and basic model theory. Logical Methods in Computer Science\u00a05(2), 1\u201338 (2009)","journal-title":"Logical Methods in Computer Science"},{"key":"1_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics. Theory Change and Database Updating","author":"S.O. Hansson","year":"1999","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer, Dordrecht (1999)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF00353453","volume":"1","author":"A. Kratzer","year":"1977","unstructured":"Kratzer, A.: What must and can must and can mean. Linguistics and Philosophy\u00a01, 337\u2013355 (1977)","journal-title":"Linguistics and Philosophy"},{"issue":"2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s11229-006-9143-8","volume":"155","author":"H. Leitgeb","year":"2007","unstructured":"Leitgeb, H., Segerberg, K.: Dynamic doxastic logic: why, how and where to? Synthese\u00a0155(2), 167\u2013190 (2007)","journal-title":"Synthese"},{"key":"1_CR19","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Blackwell Publishers, Oxford (1973)"},{"key":"1_CR20","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1344-4","volume-title":"Reasoning about Preference Dynamics","author":"F. Liu","year":"2011","unstructured":"Liu, F.: Reasoning about Preference Dynamics. Synthese Library, vol.\u00a0354. Springer, Heidelberg (2011)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Liu, F.: A two-level perspective on preference. Journal of Philosophical Logic (to appear, 2011)","DOI":"10.1007\/978-94-007-1344-4_10"},{"key":"1_CR22","volume-title":"Proceedings of TARK IV","author":"L. Moss","year":"1992","unstructured":"Moss, L., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Proceedings of TARK IV. Morgan Kaufmann, San Francisco (1992)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. Nicola De","year":"1987","unstructured":"Nicola, R.D.: Extensional equivalences for transition systems. Acta Informatica\u00a024, 211\u2013237 (1987), http:\/\/dx.doi.org\/10.1007\/BF00264365","journal-title":"Acta Informatica"},{"key":"1_CR24","unstructured":"Pacuit, E.: Neighborhood semantics for modal logic: An introduction (2007), ESSLLI 2007 course notes, http:\/\/ai.stanford.edu\/~epacuit\/classes\/"},{"key":"1_CR25","unstructured":"Pauly, M.: Logic for Social Software. Ph.D. thesis, ILLC University of Amsterdam Dissertation Series DS 2001-10 (2001)"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J. Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese: Knowledge, Rationality, and Action\u00a0158(2), 165\u2013179 (2007)","journal-title":"Synthese: Knowledge, Rationality, and Action"},{"key":"1_CR27","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503064.001.0001","volume-title":"Change, Choice and Inference: A Study in Belief Revision and Nonmonotonic Reasoning","author":"H. Rott","year":"2001","unstructured":"Rott, H.: Change, Choice and Inference: A Study in Belief Revision and Nonmonotonic Reasoning. Oxford University Press, Oxford (2001)"},{"key":"1_CR28","unstructured":"Rott, H.: Shifting priorities: Simple representations for 27 iterated theory change operators. In: Lagerlund, H., Lindstr\u00f6m, S., Sliwinski, R. (eds.) Modality Matters: Twenty-Five Essays in Honor of Krister Segerberg. Uppsala Philosophical Studies, vol.\u00a053, pp. 359\u2013384 (2006)"},{"issue":"4","key":"1_CR29","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1093\/jigpal\/3.4.535","volume":"3","author":"K. Segerberg","year":"1995","unstructured":"Segerberg, K.: Belief revision from the point of view of doxastic logic. Journal of the IGPL\u00a03(4), 535\u2013553 (1995)","journal-title":"Journal of the IGPL"},{"key":"1_CR30","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"1_CR31","volume-title":"Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations","author":"Y. Shoham","year":"2009","unstructured":"Shoham, Y., Leyton-Brown, K.: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, Cambridge (2009)"},{"issue":"02","key":"1_CR32","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1017\/S0266267100004132","volume":"12","author":"R. Stalnaker","year":"1996","unstructured":"Stalnaker, R.: Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy\u00a012(02), 133\u2013163 (1996)","journal-title":"Economics and Philosophy"},{"key":"1_CR33","unstructured":"Su, K., Sattar, A., Governatori, G., Chen, Q.: A computationally grounded logic of knowledge, belief and certainty. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005, pp. 149\u2013156 (2005), http:\/\/doi.acm.org\/10.1145\/1082473.1082496"},{"issue":"2","key":"1_CR34","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"14","author":"J. van Benthem","year":"2004","unstructured":"van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logics\u00a014(2), 129\u2013155 (2004)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: A note on modeling theories. In: Festa, R., Aliseda, A., Peijnenburg, J. (eds.) Poznan Studies in the Philosophy of the Sciences and Humanities: Confirmation, Empirical Progress and Truth Approximation. Essays in Debate with Theo Kuipers, vol.\u00a017, pp. 403\u2013419 (2005)","DOI":"10.1163\/9789401201285_016"},{"issue":"1","key":"1_CR36","first-page":"1","volume":"1","author":"J. van Benthem","year":"2008","unstructured":"van Benthem, J.: Merging observation and access in dynamic logic. Studies in Logic\u00a01(1), 1\u201317 (2008)","journal-title":"Studies in Logic"},{"key":"1_CR37","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information Flow","author":"J. van Benthem","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information Flow. Cambridge University Press, Cambridge (2011)"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-04893-7_3","volume-title":"Logic, Rationality, and Interaction","author":"J. Benthem van","year":"2009","unstructured":"van Benthem, J., Minic\u0103, \u015e.: Toward a dynamic logic of questions. In: He, X., Horty, J.F., Pacuit, E. (eds.) LORI 2009. LNCS, vol.\u00a05834, pp. 27\u201341. Springer, Heidelberg (2009), http:\/\/dx.doi.org\/10.1007\/978-3-642-04893-7_3"},{"issue":"2","key":"1_CR39","first-page":"283","volume":"169","author":"F.R. Velazquez-Quesada","year":"2009","unstructured":"Velazquez-Quesada, F.R.: Inference and update. Synthese (Knowledge, Rationality & Action)\u00a0169(2), 283\u2013300 (2009)","journal-title":"Synthese (Knowledge, Rationality & Action)"},{"key":"1_CR40","unstructured":"Veltman, F.: Prejudices, presuppositions and the theory of conditionals. In: Groenendijk, J., Stokhof, M. (eds.) Amsterdam Papers in Formal Grammar, vol.\u00a01, pp. 248\u2013281 (1976)"},{"key":"1_CR41","unstructured":"Zvesper, J.: Playing with Information. Ph.D. thesis, ILLC University of Amsterdam Dissertation Series DS-2010-02 (2010)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24130-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T09:35:56Z","timestamp":1713000956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24130-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241291","9783642241307"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24130-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}