{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T01:10:34Z","timestamp":1737335434536,"version":"3.33.0"},"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":236,"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":[{"volume-title":"A Combination System for Update Logic and Belief Revision","year":"2003","author":"Aucher G.","key":"CIT0001"},{"first-page":"43","volume-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98)","author":"Baltag A.","key":"CIT0002"},{"volume-title":"Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06)","year":"2006","author":"Baltag A.","key":"CIT0003"},{"volume-title":"Proceedings of the Workshop on Rationality and Knowledge","author":"Baltag A.","key":"CIT0004"},{"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"},{"volume-title":"Knowledge in Flux","year":"1987","author":"G\u00e4rdenfors P.","key":"CIT0011"},{"key":"CIT0012","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"4","author":"G\u00e4rdenfors P.","year":"1995"},{"volume-title":"Bisimulations on Planet Kripke","year":"1999","author":"Gerbrandy J.","key":"CIT0013"},{"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"},{"volume-title":"Counterfactuals","year":"1973","author":"Lewis D.","key":"CIT0017"},{"volume-title":"Handbook of Modal Logic","year":"2006","author":"Lindstrom S.","key":"CIT0018"},{"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"},{"volume-title":"Proceedings of the Workshop on Logics for Resource Bounded Agents","author":"Liu F.","key":"CIT0020"},{"volume-title":"Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06)","author":"Liu F.","key":"CIT0021"},{"volume-title":"Proceedings of the Fifth International Conference on Autonomous Agents andMultiagent Systems (AAMAS06)","author":"Lutz C.","key":"CIT0022"},{"volume-title":"Proceedings of LOFT- 98","year":"1998","author":"Maynard-Reid P.","key":"CIT0023"},{"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"},{"volume-title":"Proceedins 4th International Symposium on Methodologies for Intelligent Systems","year":"1989","author":"Plaza J. A.","key":"CIT0026"},{"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"},{"volume-title":"Reasoning About Change: Time and Change from the Standpoint of Artificial Intelligence","year":"1988","author":"Shoham Y.","key":"CIT0031"},{"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"},{"first-page":"331","volume-title":"Logic Colloquium, Granada 1987","author":"van Benthem J.","key":"CIT0033"},{"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"},{"first-page":"96","volume-title":"Logic Colloquium '02","author":"van Benthem J.","key":"CIT0035"},{"volume-title":"Mathematical Problems from Applied Logics","year":"2006","author":"van Benthem J.","key":"CIT0036"},{"volume-title":"Ceteris Paribus Preference Logic","year":"2006","author":"van Benthem J.","key":"CIT0037"},{"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"},{"volume-title":"Proceedings Advances in Modal Logic","author":"van Benthem J.","key":"CIT0040"},{"volume-title":"Changing Preferences","year":"1993","author":"van Benthem J.","key":"CIT0041"},{"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"},{"volume-title":"Logics for Conditionals","year":"1985","author":"Veltman F.","key":"CIT0046"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1007\/BF00248150"},{"volume-title":"Proceedings 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII)","author":"Yamada T.","key":"CIT0048"}],"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":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}