{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:06:03Z","timestamp":1762459563774,"version":"3.37.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319735788"},{"type":"electronic","value":"9783319735795"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73579-5_12","type":"book-chapter","created":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T21:32:44Z","timestamp":1514842364000},"page":"185-200","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Preference Logic as a Logic of Belief Change"],"prefix":"10.1007","author":[{"given":"Marlo","family":"Souza","sequence":"first","affiliation":[]},{"given":"\u00c1lvaro","family":"Moreira","sequence":"additional","affiliation":[]},{"given":"Renata","family":"Vieira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,3]]},"reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic 50(2), 510\u2013530 (1985)","journal-title":"J. Symb. Logic"},{"key":"12_CR2","unstructured":"Aucher, G.: Characterizing updates in dynamic epistemic logic. In: Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (2010)"},{"key":"12_CR3","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-94-007-7046-1_12","volume-title":"Krister Segerberg on Logic of Actions","author":"A Baltag","year":"2014","unstructured":"Baltag, A., Fiutek, V., Smets, S.: DDL as an \u201cinternalization\u201d of dynamic belief revision. In: Trypuz, R. (ed.) Krister Segerberg on Logic of Actions. Outstanding Contributions to Logic, vol. 1, pp. 253\u2013280. Springer, Dordrecht (2014). \nhttps:\/\/doi.org\/10.1007\/978-94-007-7046-1_12"},{"key":"12_CR4","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Texts in Logic and Games, vol. 3, pp. 9\u201358 (2008)"},{"key":"12_CR5","volume-title":"Handbook of Modal Logic","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., van Benthem, J.F., Wolter, F.: Handbook of Modal Logic, vol. 3. Elsevier, Amsterdam (2006)"},{"issue":"1","key":"12_CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1005219504371","volume":"63","author":"J Cantwell","year":"1999","unstructured":"Cantwell, J.: Some logics of iterated belief change. Stud. Logica. 63(1), 49\u201384 (1999)","journal-title":"Stud. Logica."},{"issue":"1","key":"12_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artif. Intell. 89(1), 1\u201329 (1997)","journal-title":"Artif. Intell."},{"key":"12_CR8","first-page":"239","volume-title":"Advances in Modal Logic","author":"P Girard","year":"2012","unstructured":"Girard, P., Seligman, J., Liu, F.: General dynamic dynamic logic. In: Bolander, T., Brauner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 239\u2013260. College Publications, London (2012)"},{"key":"12_CR9","unstructured":"Girard, P.: Modal logic for belief and preference change. Ph.D. thesis, Stanford University (2008)"},{"key":"12_CR10","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-319-06025-5_8","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"P Girard","year":"2014","unstructured":"Girard, P., Rott, H.: Belief revision and dynamic logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 203\u2013233. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-06025-5_8"},{"issue":"2","key":"12_CR11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A.: Two modelings for theory change. J. Philos. Logic 17(2), 157\u2013170 (1988)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"12_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y Jin","year":"2007","unstructured":"Jin, Y., Thielscher, M.: Iterated belief revision, revised. Artif. Intell. 171(1), 1\u201318 (2007)","journal-title":"Artif. Intell."},{"issue":"2","key":"12_CR13","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.: DDL unlimited: dynamic doxastic logic for introspective agents. Erkenntnis 50(2), 353\u2013385 (1999)","journal-title":"Erkenntnis"},{"key":"12_CR14","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, vol. 354. Springer, Dordrecht (2011). \nhttps:\/\/doi.org\/10.1007\/978-94-007-1344-4"},{"issue":"6","key":"12_CR15","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/s10992-007-9052-4","volume":"36","author":"LS Moss","year":"2007","unstructured":"Moss, L.S.: Finite models constructed from canonical formulas. J. Philos. Logic 36(6), 605\u2013640 (2007)","journal-title":"J. Philos. Logic"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/11811220_26","volume-title":"Knowledge Science, Engineering and Management","author":"A Nayak","year":"2006","unstructured":"Nayak, A., Goebel, R., Orgun, M., Pham, T.: Taking Levi Identity seriously: a plea for iterated belief contraction. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol. 4092, pp. 305\u2013317. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11811220_26"},{"issue":"2","key":"12_CR17","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0004-3702(03)00017-1","volume":"146","author":"AC Nayak","year":"2003","unstructured":"Nayak, A.C., Pagnucco, M., Peppas, P.: Dynamic belief revision operators. Artif. Intell. 146(2), 193\u2013228 (2003)","journal-title":"Artif. Intell."},{"issue":"1","key":"12_CR18","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/s10992-011-9201-7","volume":"41","author":"R Ramachandran","year":"2012","unstructured":"Ramachandran, R., Nayak, A.C., Orgun, M.A.: Three approaches to iterated belief contraction. J. Philos. Logic 41(1), 115\u2013142 (2012)","journal-title":"J. Philos. Logic"},{"issue":"9","key":"12_CR19","doi-asserted-by":"crossref","first-page":"503","DOI":"10.2307\/2678489","volume":"97","author":"H Rott","year":"2000","unstructured":"Rott, H.: Two dogmas of belief revision. J. Philos. 97(9), 503\u2013522 (2000)","journal-title":"J. Philos."},{"key":"12_CR20","series-title":"Trends in Logic","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-1-4020-9084-4_14","volume-title":"Towards Mathematical Philosophy","author":"H Rott","year":"2009","unstructured":"Rott, H.: Shifting priorities: simple representations for twenty-seven iterated theory change operators. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy. Trends in Logic, vol. 28, pp. 269\u2013296. Springer, Dordrecht (2009). \nhttps:\/\/doi.org\/10.1007\/978-1-4020-9084-4_14"},{"key":"12_CR21","series-title":"Trends in Logic (Studia Logica Library)","doi-asserted-by":"publisher","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.: Two traditions in the logic of belief: bringing them together. In: Ohlbach, H.J., Reyle, U. (eds.) Logic, Language and Reasoning. Trends in Logic (Studia Logica Library), vol. 5, pp. 135\u2013147. Springer, Dordrecht (1999). \nhttps:\/\/doi.org\/10.1007\/978-94-011-4574-9_8"},{"key":"12_CR22","unstructured":"Souza, M.: Choices that make you change your mind: a dynamic epistemic logic approach to the semantics of BDI agent programming languages. Ph.D. thesis, Universidade Federal do Rio Grande do Sul (2016)"},{"key":"12_CR23","unstructured":"Souza, M., Moreira, A., Vieira, R., Meyer, J.J.C.: Preference and priorities: a study based on contraction. In: KR 2016, pp. 155\u2013164. AAAI Press (2016)"},{"issue":"2","key":"12_CR24","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem Van","year":"2007","unstructured":"Van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Classical Logics 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"12_CR25","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-94-007-7046-1_13","volume-title":"Krister Segerberg on Logic of Actions","author":"J Benthem Van","year":"2014","unstructured":"Van Benthem, J.: Two logical faces of belief revision. In: Trypuz, R. (ed.) Krister Segerberg on Logic of Actions. Outstanding Contributions to Logic, vol. 1, pp. 281\u2013300. Springer, Dordrecht (2014). \nhttps:\/\/doi.org\/10.1007\/978-94-007-7046-1_13"},{"issue":"1","key":"12_CR26","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","volume":"38","author":"J Benthem Van","year":"2009","unstructured":"Van Benthem, J., Girard, P., Roy, O.: Everything else being equal: a modal logic for ceteris paribus preferences. J. Philos. Logic 38(1), 83\u2013125 (2009)","journal-title":"J. Philos. Logic"},{"issue":"2","key":"12_CR27","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1111\/theo.12028","volume":"80","author":"J Benthem Van","year":"2014","unstructured":"Van Benthem, J., Grossi, D., Liu, F.: Priority structures in deontic logic. Theoria 80(2), 116\u2013152 (2014)","journal-title":"Theoria"},{"issue":"2","key":"12_CR28","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J Benthem Van","year":"2007","unstructured":"Van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non-Classical Logics 17(2), 157\u2013182 (2007)","journal-title":"J. Appl. Non-Classical Logics"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73579-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T21:36:36Z","timestamp":1514842596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73579-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319735788","9783319735795"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73579-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}