{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T16:36:52Z","timestamp":1778171812907,"version":"3.51.4"},"reference-count":48,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.3166\/jancl.17.129-155","type":"journal-article","created":{"date-parts":[[2007,7,30]],"date-time":"2007-07-30T17:07:47Z","timestamp":1185815267000},"page":"129-155","source":"Crossref","is-referenced-by-count":249,"title":["Dynamic logic for belief revision"],"prefix":"10.1080","volume":"17","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","volume-title":"A Combination System for Update Logic and Belief Revision","author":"Aucher G.","year":"2003"},{"key":"CIT0002","first-page":"43","volume-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98)","author":"Baltag A."},{"key":"CIT0003","volume-title":"Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06)","author":"Baltag A.","year":"2006"},{"key":"CIT0004","volume-title":"Proceedings of the Workshop on Rationality and Knowledge","author":"Baltag A."},{"issue":"2","key":"CIT0005","doi-asserted-by":"crossref","first-page":"881","DOI":"10.2307\/2586507","volume":"64","author":"Barwise J.","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0006","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future","author":"Belnap N.","year":"2001"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"Boutilier C.","year":"1994","journal-title":"Artificial Intelligence"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_2"},{"key":"CIT0009","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin R.","year":"1995"},{"key":"CIT0010","first-page":"1","volume-title":"Advances in Computing Research","author":"Fagin R.","year":"1986"},{"key":"CIT0011","volume-title":"Knowledge in Flux","author":"G\u00e4rdenfors P.","year":"1987"},{"key":"CIT0012","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"4","author":"G\u00e4rdenfors P.","year":"1995"},{"key":"CIT0013","volume-title":"Bisimulations on Planet Kripke","author":"Gerbrandy J.","year":"1999"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.213-229"},{"key":"CIT0015","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"Kelly K.","year":"1996"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.231-253"},{"key":"CIT0017","volume-title":"Counterfactuals","author":"Lewis D.","year":"1973"},{"key":"CIT0018","volume-title":"Handbook of Modal Logic","author":"Lindstrom S.","year":"2006"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/B:SYNT.0000029950.50517.59","volume":"140","author":"List C.","year":"2004","journal-title":"Synthese"},{"key":"CIT0020","volume-title":"Proceedings of the Workshop on Logics for Resource Bounded Agents","author":"Liu F."},{"key":"CIT0021","volume-title":"Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06)","author":"Liu F."},{"key":"CIT0022","volume-title":"Proceedings of the Fifth International Conference on Autonomous Agents andMultiagent Systems (AAMAS06)","author":"Lutz C."},{"key":"CIT0023","volume-title":"Proceedings of LOFT- 98","author":"Maynard-Reid P.","year":"1998"},{"issue":"3","key":"CIT0024","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","volume":"97","author":"Miller J.","year":"2005","journal-title":"Studia Logica"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"Parikh R.","year":"2003","journal-title":"Journal of Logic, Language and Information"},{"key":"CIT0026","volume-title":"Proceedins 4th International Symposium on Methodologies for Intelligent Systems","author":"Plaza J. A.","year":"1989"},{"key":"CIT0027","first-page":"359","volume-title":"Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg","volume":"53","author":"Rott H.","year":"2006"},{"key":"CIT0028","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1093\/jigpal\/3.4.535","volume":"3","author":"Segerberg K.","year":"1995","journal-title":"Bulletin of the IGPL"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1305\/ndjfl\/1039182247","volume":"39","author":"Segerberg K.","year":"1998","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CIT0030","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1023\/A:1005546526502","volume":"50","author":"Segerberg K.","year":"1999","journal-title":"Erkenntnis"},{"key":"CIT0031","volume-title":"Reasoning About Change: Time and Change from the Standpoint of Artificial Intelligence","author":"Shoham Y.","year":"1988"},{"key":"CIT0032","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 II","author":"Spohn W.","year":"1988"},{"key":"CIT0033","first-page":"331","volume-title":"Logic Colloquium, Granada 1987","author":"van Benthem J."},{"key":"CIT0034","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1163\/9789004454149_004","volume-title":"Meaning: the Dynamic Turn","author":"van Benthem J.","year":"2003"},{"key":"CIT0035","first-page":"96","volume-title":"Logic Colloquium '02","author":"van Benthem J."},{"key":"CIT0036","volume-title":"Mathematical Problems from Applied Logics","author":"van Benthem J.","year":"2006"},{"key":"CIT0037","volume-title":"Ceteris Paribus Preference Logic","author":"van Benthem J.","year":"2006"},{"issue":"2","key":"CIT0038","doi-asserted-by":"crossref","first-page":"163","DOI":"10.4000\/philosophiascientiae.571","volume":"8","author":"van Benthem J.","year":"2004","journal-title":"Philosophia Scientiae"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.157-182"},{"key":"CIT0040","volume-title":"Proceedings Advances in Modal Logic","author":"van Benthem J."},{"key":"CIT0041","volume-title":"Changing Preferences","author":"van Benthem J.","year":"1993"},{"issue":"11","key":"CIT0042","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"van Benthem J.","year":"2006","journal-title":"Information and Computation"},{"key":"CIT0043","first-page":"61","volume-title":"Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg","author":"van Benthem J.","year":"2006"},{"key":"CIT0044","first-page":"229","volume":"147","author":"van Ditmarsch H.","year":"2005","journal-title":"Knowledge, Rationality & Action (Synthese)"},{"key":"CIT0045","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic, vol. 337 of Synthese Library","author":"van Ditmarsch H.","year":"2007"},{"key":"CIT0046","volume-title":"Logics for Conditionals","author":"Veltman F.","year":"1985"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1007\/BF00248150"},{"key":"CIT0048","volume-title":"Proceedings 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII)","author":"Yamada T."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:36:07Z","timestamp":1737333367000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.17.129-155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":48,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.3166\/jancl.17.129-155"],"URL":"https:\/\/doi.org\/10.3166\/jancl.17.129-155","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}