{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T13:51:43Z","timestamp":1740145903773,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T00:00:00Z","timestamp":1530748800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","award":["2016\/13354-3"],"award-info":[{"award-number":["2016\/13354-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"crossref","award":["PQ309605\/2013-0"],"award-info":[{"award-number":["PQ309605\/2013-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]},{"name":"FCT MCTES","award":["CEC\/04516\/2013"],"award-info":[{"award-number":["CEC\/04516\/2013"]}]},{"name":"FCT SFRH\/BSAB","award":["127790\/2016"],"award-info":[{"award-number":["127790\/2016"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Braz Comput Soc"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1186\/s13173-018-0072-4","type":"journal-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T14:03:38Z","timestamp":1530799418000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On the logic of theory change: iteration of expansion"],"prefix":"10.1186","volume":"24","author":[{"given":"Eduardo","family":"Ferm\u00e9","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8065-1433","authenticated-orcid":false,"given":"Renata","family":"Wassermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,5]]},"reference":[{"key":"72_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 Log 50:510\u2013530.","journal-title":"J Symb Log"},{"key":"72_CR2","volume-title":"The Stanford Encyclopedia of Philosophy, winter 2013 edn","author":"F Berto","year":"2013","unstructured":"Berto F (2013) Impossible worlds. In: Zalta EN (ed)The Stanford Encyclopedia of Philosophy, winter 2013 edn.. Stanford University, Metaphysics Research Lab."},{"key":"72_CR3","volume-title":"Technologies for Constructing Intelligent Systems 2: Tools","author":"I Bloch","year":"2002","unstructured":"Bloch I, Lang J (2002) Towards mathematical morpho-logics. In: Bouchon-Meunier B, Guti\u00e9rrez-R\u00edos J, Magdalena L, Yager RR, Bloch I, Lang J (eds)Technologies for Constructing Intelligent Systems 2: Tools.. Physica-Verlag HD, Heidelberg."},{"key":"72_CR4","first-page":"987","volume-title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016","author":"R Booth","year":"2016","unstructured":"Booth R, Chandler J (2016) Extending the Harper identity to iterated belief change In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, 987\u2013993.. AAAI Press, Palo Alto,"},{"key":"72_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1613\/jair.1874","volume":"26","author":"R Booth","year":"2006","unstructured":"Booth R, Meyer T (2006) Admissible and restrained revision. J Artif Intell Res 26:127\u2013151.","journal-title":"J Artif Intell Res"},{"key":"72_CR6","first-page":"519","volume-title":"Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI\u201993)","author":"C Boutilier","year":"1993","unstructured":"Boutilier C (1993) Revision sequences and nested conditionals In: Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI\u201993), 519\u2013525.. AAAI Press, Palo Alto,"},{"key":"72_CR7","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF00248151","volume":"25","author":"C Boutilier","year":"1996","unstructured":"Boutilier C (1996) Iterated revision and minimal change of conditional beliefs. J Philos Log 25:263\u2013305.","journal-title":"J Philos Log"},{"key":"72_CR8","doi-asserted-by":"publisher","unstructured":"Caridroit T, Konieczny S, Marquis P (2017) Contraction in propositional logic. Int J Approx Reason 80:428\u2013442. \n                    https:\/\/doi.org\/10.1016\/j.ijar.2016.06.010\n                    \n                  , \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0888613X16300950\n                    \n                  .","DOI":"10.1016\/j.ijar.2016.06.010"},{"key":"72_CR9","doi-asserted-by":"publisher","unstructured":"Chopra S, Ghose A, Meyer T, Wong KS (2008) Iterated belief change and the recovery axiom. J Philos Log 37(5):501\u2013520. \n                    https:\/\/doi.org\/10.1007\/s10992-008-9086-2\n                    \n                  .","DOI":"10.1007\/s10992-008-9086-2"},{"issue":"1\u20132","key":"72_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche A (1997) Pearl J On the logic of iterated belief revision. Artif Intell 89(1\u20132):1\u201329.","journal-title":"Artif Intell"},{"key":"72_CR11","volume-title":"Belief base dynamics. Ph.D. thesis","author":"SO Hansson","year":"1991","unstructured":"Hansson SO (1991) Belief base dynamics. Ph.D. thesis. Uppsala University, Uppsala."},{"key":"72_CR12","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1993","unstructured":"Hansson SO (1993) Reversing the Levi identity. J Philos Log 22:637\u2013669.","journal-title":"J Philos Log"},{"issue":"1-2","key":"72_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"SO Hansson","year":"1997","unstructured":"Hansson SO (1997) Semi-revision. J Appl Non-Classical Log 7(1-2):151\u2013175.","journal-title":"J Appl Non-Classical Log"},{"key":"72_CR14","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1023\/A:1005534223776","volume":"50","author":"SO Hansson","year":"1999","unstructured":"Hansson SO (1999) A survey of non-prioritized belief revision. Erkenntnis 50:413\u2013427.","journal-title":"Erkenntnis"},{"key":"72_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A textbook of belief dynamics. Theory Change and Database Updating. Applied Logic Series","author":"SO Hansson","year":"1999","unstructured":"Hansson SO (1999) A textbook of belief dynamics. Theory Change and Database Updating. Applied Logic Series. Kluwer Academic Publishers, Dordrecht."},{"issue":"1","key":"72_CR16","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1014654208944","volume":"70","author":"SO Hansson","year":"2002","unstructured":"Hansson SO, Wassermann R (2002) Local change. Stud Logica 70(1):49\u201376.","journal-title":"Stud Logica"},{"key":"72_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y Jin","year":"2007","unstructured":"Jin Y, Thielscher M (2007) Iterated belief revision, revised. Artif Intell 171:1\u201318.","journal-title":"Artif Intell"},{"key":"72_CR18","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H Katsuno","year":"1991","unstructured":"Katsuno H, Mendelzon A (1991) Propositional knowledge base revision and minimal change. J Artif Intell 52:263\u2013294.","journal-title":"J Artif Intell"},{"key":"72_CR19","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-319-67582-4_25","volume-title":"Scalable Uncertainty Management","author":"S Konieczny","year":"2017","unstructured":"Konieczny S, Pino Perez R (2017) On iterated contraction: syntactic characterization, representation theorem and limitations of the levi identity. In: Moral S, Pivert O, S\u00e1nchez D, Mar\u00edn N (eds)Scalable Uncertainty Management, 348\u2013362.. Springer International Publishing, Cham,"},{"key":"72_CR20","doi-asserted-by":"crossref","unstructured":"Kripke SA (1965) Semantical analysis of modal logic ii. non-normal modal propositional calculi. In: Addison JW, Tarski A, Henkin L (eds)The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley, 206\u201320, North Holland,","DOI":"10.1016\/B978-0-7204-2233-7.50026-5"},{"key":"72_CR21","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF01130759","volume":"41","author":"A Nayak","year":"1994","unstructured":"Nayak A (1994) Iterated belief change based on epistemic entrenchment. Erkenntnis 41:353\u2013390.","journal-title":"Erkenntnis"},{"key":"72_CR22","doi-asserted-by":"crossref","unstructured":"Nayak A, Pagnucco M, Peppas P (2003) Dynamic belief revision operators. Artif Intell 146:2:193\u2013228.","DOI":"10.1016\/S0004-3702(03)00017-1"},{"key":"72_CR23","first-page":"305","volume-title":"Knowledge Science, Engineering and Management, First International Conference, KSEM, Guilin, China, Lecture Notes in Computer Science, vol. 4092","author":"AC Nayak","year":"2006","unstructured":"Nayak AC, Goebel R, Orgun MA, Pham T (2006) Taking Levi identity seriously: a plea for iterated belief contraction. In: Lang J, Lin F, Wang J (eds)Knowledge Science, Engineering and Management, First International Conference, KSEM, Guilin, China, Lecture Notes in Computer Science, vol. 4092, 305\u2013317.. Springer, Berlin,"},{"key":"72_CR24","unstructured":"(1997) Notre Dame Journal of Formal Logic: Special Issue on Impossible Worlds; Guest Editor: Graham Priest, vol. 38(4). Duke University Press. \n                    https:\/\/projecteuclid.org\/euclid.ndjfl\/1039540763\n                    \n                  ."},{"key":"72_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-94-007-7759-0_5","volume-title":"David Makinson on Classical Methods for Non-Classical Problems","author":"P Peppas","year":"2014","unstructured":"Peppas P (2014) A panorama of iterated revision. In: Hansson SO (ed)David Makinson on Classical Methods for Non-Classical Problems, 71\u201394.. Springer, Netherlands,"},{"issue":"139\/140","key":"72_CR26","first-page":"291","volume":"35","author":"G Priest","year":"1992","unstructured":"Priest G (1992) What is a non-normal world?Logique et Analyse 35(139\/140):291\u2013302.","journal-title":"Logique et Analyse"},{"key":"72_CR27","first-page":"481","volume":"4","author":"G Priest","year":"1997","unstructured":"Priest G (1997) Special issue on impossible worlds; guest editor\u2019s introduction. Notre Dame J Form Log 38 4:481\u2013487.","journal-title":"Notre Dame J Form Log 38"},{"issue":"1","key":"72_CR28","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10992-011-9201-7","volume":"41","author":"R Ramachandran","year":"2012","unstructured":"Ramachandran R, Nayak AC, Orgun MA (2012) Three approaches to iterated belief contraction. J Philos Log 41(1):115\u2013142.","journal-title":"J Philos Log"},{"key":"72_CR29","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1093\/logcom\/13.1.111","volume":"13","author":"H Rott","year":"2003","unstructured":"Rott H (2003) Coherence and conservatism in the dynamics of belief. Part II: Iterated belief change without dispositional coherence. J Log Comput 13:111\u2013145.","journal-title":"J Log Comput"},{"key":"72_CR30","unstructured":"Testa R, Coniglio M, Ribeiro M (2015) Paraconsistent belief revision based on a formal consistency operator. University of Campinas, Campinas. \n                    https:\/\/www.cle.unicamp.br\/eprints\/index.php\/CLE_e-Prints\/article\/view\/992\n                    \n                  ."},{"key":"72_CR31","doi-asserted-by":"publisher","unstructured":"Zalta EN (1997) A classically-based theory of impossible worlds. Notre Dame J. Form Log 38(4):640\u2013660. \n                    https:\/\/doi.org\/10.1305\/ndjfl\/1039540774\n                    \n                  .","DOI":"10.1305\/ndjfl\/1039540774"}],"container-title":["Journal of the Brazilian Computer Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13173-018-0072-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13173-018-0072-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13173-018-0072-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T10:46:03Z","timestamp":1723545963000},"score":1,"resource":{"primary":{"URL":"https:\/\/journal-bcs.springeropen.com\/articles\/10.1186\/s13173-018-0072-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,5]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["72"],"URL":"https:\/\/doi.org\/10.1186\/s13173-018-0072-4","relation":{},"ISSN":["0104-6500","1678-4804"],"issn-type":[{"type":"print","value":"0104-6500"},{"type":"electronic","value":"1678-4804"}],"subject":[],"published":{"date-parts":[[2018,7,5]]},"assertion":[{"value":"13 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 June 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 July 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}},{"value":"Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Publisher\u2019s Note"}}],"article-number":"8"}}