{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:28:40Z","timestamp":1776940120450,"version":"3.51.4"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T00:00:00Z","timestamp":1568332800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T00:00:00Z","timestamp":1568332800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/MAT\/04674\/2019 (CIMA)"],"award-info":[{"award-number":["UID\/MAT\/04674\/2019 (CIMA)"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/CCI-COM\/30990\/2017"],"award-info":[{"award-number":["PTDC\/CCI-COM\/30990\/2017"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s10849-019-09296-1","type":"journal-article","created":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T14:02:55Z","timestamp":1568383375000},"page":"255-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Residual Contraction"],"prefix":"10.1007","volume":"29","author":[{"given":"Marco","family":"Garapa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7437-8354","authenticated-orcid":false,"given":"Maur\u00edcio D. L.","family":"Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,13]]},"reference":[{"key":"9296_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. Journal of Symbolic Logic, 50, 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"9296_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","volume-title":"New studies in deontic logic: Norms, actions, and the foundations of ethics","author":"C Alchourr\u00f3n","year":"1981","unstructured":"Alchourr\u00f3n, C., & Makinson, D. (1981). Hierarchies of regulations and their logic. In R. Hilpinen (Ed.), New studies in deontic logic: Norms, actions, and the foundations of ethics (pp. 125\u2013148). Berlin: Springer."},{"key":"9296_CR3","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., & Makinson, D. (1985). On the logic of theory change: Safe contraction. Studia Logica, 44, 405\u2013422.","journal-title":"Studia Logica"},{"issue":"7","key":"9296_CR4","doi-asserted-by":"publisher","first-page":"2011","DOI":"10.1093\/logcom\/exx008","volume":"27","author":"E Ferm\u00e9","year":"2017","unstructured":"Ferm\u00e9, E., Garapa, M., & Reis, M. D. L. (2017). On ensconcement and contraction. Journal of Logic and Computation, 27(7), 2011\u20132042. \nhttps:\/\/doi.org\/10.1093\/logcom\/exx008\n\n.","journal-title":"Journal of Logic and Computation"},{"key":"9296_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10992-011-9171-9","volume":"40","author":"E Ferm\u00e9","year":"2011","unstructured":"Ferm\u00e9, E., & Hansson, S. O. (2011). AGM 25 years: Twenty-five years of research in belief change. Journal of Philosophical Logic, 40, 295\u2013331.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"9296_CR6","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1093\/logcom\/exm093","volume":"18","author":"E Ferm\u00e9","year":"2008","unstructured":"Ferm\u00e9, E., Krevneris, M., & Reis, M. (2008). An axiomatic characterization of ensconcement-based contraction. Journal of Logic and Computation, 18(5), 739\u2013753.","journal-title":"Journal of Logic and Computation"},{"key":"9296_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF01066356","volume":"3","author":"A Fuhrmann","year":"1994","unstructured":"Fuhrmann, A., & Hansson, S. O. (1994). A survey of multiple contraction. Journal of Logic, Language and Information, 3, 39\u201374.","journal-title":"Journal of Logic, Language and Information"},{"key":"9296_CR8","unstructured":"Garapa, M. (2017). Advances on belief base dynamics. Ph.D. thesis, Universidade da Madeira."},{"key":"9296_CR9","volume-title":"Knowledge in flux: Modeling the dynamics of epistemic states","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in flux: Modeling the dynamics of epistemic states. Cambridge: The MIT Press."},{"key":"9296_CR10","unstructured":"G\u00e4rdenfors, P., Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In: M.Y. Vardi (ed.) Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 83\u201395. Morgan Kaufmann, Los Altos."},{"key":"9296_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"9296_CR12","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1111\/j.1755-2567.1989.tb00725.x","volume":"55","author":"SO Hansson","year":"1989","unstructured":"Hansson, S. O. (1989). New operators for theory change. Theoria, 55, 114\u2013132.","journal-title":"Theoria"},{"key":"9296_CR13","unstructured":"Hansson, S. O. (1991a). Belief base dynamics. Ph.D. thesis, Uppsala University."},{"key":"9296_CR14","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF00370186","volume":"50","author":"SO Hansson","year":"1991","unstructured":"Hansson, S. O. (1991b). Belief contraction without recovery. Studia Logica, 50, 251\u2013260.","journal-title":"Studia Logica"},{"key":"9296_CR15","series-title":"no. 29 in Cambridge tracts in theoretical computer science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1017\/CBO9780511526664.004","volume-title":"Belief revision","author":"SO Hansson","year":"1992","unstructured":"Hansson, S. O. (1992). A dyadic representation of belief. In P. G\u00e4rdenfors (Ed.), Belief revision (pp. 89\u2013121)., no. 29 in Cambridge tracts in theoretical computer science Cambridge: Cambridge University Press."},{"key":"9296_CR16","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1993","unstructured":"Hansson, S. O. (1993). Reversing the Levi identity. Journal of Philosophycal Logic, 22, 637\u2013669.","journal-title":"Journal of Philosophycal Logic"},{"key":"9296_CR17","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"SO Hansson","year":"1994","unstructured":"Hansson, S. O. (1994). Kernel contraction. Journal of Symbolic Logic, 59, 845\u2013859.","journal-title":"Journal of Symbolic Logic"},{"key":"9296_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A textbook of belief dynamics","author":"SO Hansson","year":"1999","unstructured":"Hansson, S. O. (1999). A textbook of belief dynamics. Dordrecht: Theory Change and Database Updating. Applied Logic Series. Kluwer Academic Publishers."},{"key":"9296_CR19","series-title":"Trends in Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-53061-1","volume-title":"Descriptor Revision","author":"Sven Ove Hansson","year":"2017","unstructured":"Hansson, S. O. (2017). Descriptor revision., Trends in logic Berlin: Springer. \nhttps:\/\/doi.org\/10.1007\/978-3-319-53061-1\n\n."},{"key":"9296_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663819","volume-title":"The fixation of belief and its undoing: changing beliefs through inquiry","author":"I Levi","year":"1991","unstructured":"Levi, I. (1991). The fixation of belief and its undoing: changing beliefs through inquiry. Cambridge: Cambridge University Press."},{"issue":"9","key":"9296_CR21","doi-asserted-by":"publisher","first-page":"503","DOI":"10.2307\/2678489","volume":"97","author":"H Rott","year":"2000","unstructured":"Rott, H. (2000). Two dogmas of belief revision. Journal of Philosophy, 97(9), 503\u2013522.","journal-title":"Journal of Philosophy"},{"key":"9296_CR22","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-94-007-7759-0_4","volume-title":"David Makinson on classical methods for non-classical problems, outstanding contributions to logic","author":"H Rott","year":"2014","unstructured":"Rott, H., & Hansson, S. (2014). Safe contraction revisited. In S. O. Hansson (Ed.), David Makinson on classical methods for non-classical problems, outstanding contributions to logic (Vol. 3, pp. 35\u201370). Dordrecht: Springer."},{"key":"9296_CR23","series-title":"no. 835 in Lecture Notes Series in Computer Science","volume-title":"Logics in artificial intelligence","author":"MA Williams","year":"1994","unstructured":"Williams, M. A. (1994). On the logic of theory base change. In C. MacNish (Ed.), Logics in artificial intelligence., no. 835 in Lecture Notes Series in Computer Science Berlin: Springer."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09296-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09296-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09296-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T23:16:47Z","timestamp":1599866207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09296-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,13]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["9296"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09296-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,13]]},"assertion":[{"value":"13 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}