{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:23:01Z","timestamp":1760170981203,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,10,15]],"date-time":"2016-10-15T00:00:00Z","timestamp":1476489600000},"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":["Stud Logica"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s11225-016-9691-y","type":"journal-article","created":{"date-parts":[[2016,10,15]],"date-time":"2016-10-15T07:26:10Z","timestamp":1476516370000},"page":"331-360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Studies on Brutal Contraction and Severe Withdrawal"],"prefix":"10.1007","volume":"105","author":[{"given":"M.","family":"Garapa","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9618-2421","authenticated-orcid":false,"given":"E.","family":"Ferm\u00e9","sequence":"additional","affiliation":[]},{"given":"M. D. L.","family":"Reis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,15]]},"reference":[{"key":"9691_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C., G\u00e4rdenfors P., Makinson D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"9691_CR2","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C., Makinson D.: On the logic of theory change: Safe contraction. Studia Logica 44, 405\u2013422 (1985)","journal-title":"Studia Logica"},{"key":"9691_CR3","doi-asserted-by":"crossref","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.: AGM 25\u00a0years: Twenty-five years of research in belief change. Journal of Philosophical Logic 40, 295\u2013331 (2011)","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"9691_CR4","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exm093","volume":"18","author":"E. Ferm\u00e9","year":"2008","unstructured":"Ferm\u00e9 E., Krevneris M., Reis M.: An axiomatic characterization of ensconcement-based contraction. Journal of Logic and Computation 18(5), 739\u2013753 (2008)","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"9691_CR5","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1093\/jigpal\/6.6.835","volume":"6","author":"E. Ferm\u00e9","year":"1998","unstructured":"Ferm\u00e9 E., Rodriguez R.: A brief note about the Rott contraction. Logic Journal of the IGPL 6(6), 835\u2013842 (1998)","journal-title":"Logic Journal of the IGPL"},{"key":"9691_CR6","unstructured":"G\u00e4rdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, MA, 1988."},{"key":"9691_CR7","unstructured":"G\u00e4rdenfors, P., and D. Makinson, Revisions of knowledge systems using epistemic entrenchment, in Moshe Y. Vardi, (ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, Los Altos, 1988, pp. 83\u201395."},{"key":"9691_CR8","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove A.: Two modellings for theory change. Journal of Philosophical Logic 17, 157\u2013170 (1988)","journal-title":"Journal of Philosophical Logic"},{"key":"9691_CR9","doi-asserted-by":"crossref","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"S. O. Hansson","year":"1994","unstructured":"Hansson S. O.: Kernel contraction. Journal of Symbolic Logic 59, 845\u2013859 (1994)","journal-title":"Journal of Symbolic Logic"},{"key":"9691_CR10","doi-asserted-by":"crossref","unstructured":"Hansson, S. O., Revision of belief sets and belief bases, in D. Dubois and H. Prade, (eds.), Belief Change, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Springer Netherlands, Dordrecht, 1999, pp. 17\u201375.","DOI":"10.1007\/978-94-011-5054-5_2"},{"key":"9691_CR11","doi-asserted-by":"crossref","unstructured":"Hansson, S. O., A Textbook of Belief Dynamics. Theory Change and Database Updating., Applied Logic Series, Kluwer Academic Publishers, Dordrecht, 1999.","DOI":"10.1007\/978-94-007-0814-3"},{"key":"9691_CR12","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00284973","volume":"20","author":"H. Rott","year":"1991","unstructured":"Rott H.: Two methods of constructing contractions and revisions of knowledge systems. Journal of Philosophical Logic 20, 149\u2013173 (1991)","journal-title":"Journal of Philosophical Logic"},{"key":"9691_CR13","doi-asserted-by":"crossref","unstructured":"Rott, H., Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, Oxford Logic Guides, Clarendon Press, Oxford, 2001.","DOI":"10.1093\/oso\/9780198503064.001.0001"},{"key":"9691_CR14","doi-asserted-by":"crossref","unstructured":"Rott, H., and S. O. Hansson, Safe contraction revisited, in S. O. Hansson, (ed.), David Makinson on Classical Methods for Non-Classical Problems, vol. 3 of Outstanding Contributions to Logic, Springer, Dortrecht, 2014, pp. 35\u201370.","DOI":"10.1007\/978-94-007-7759-0_4"},{"key":"9691_CR15","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1023\/A:1004344003217","volume":"28","author":"H. Rott","year":"1999","unstructured":"Rott H., Pagnucco M.: Severe withdrawal (and recovery). Journal of Philosophical Logic 28, 501\u2013547 (1999)","journal-title":"Journal of Philosophical Logic"},{"key":"9691_CR16","unstructured":"Williams, M.-A., Two operators for theory bases, in Proceedings of the Australian Joint Artificial Intelligence Conference, World Scientific, 1992, pp. 259\u2013265."},{"key":"9691_CR17","doi-asserted-by":"crossref","unstructured":"Williams, M.-A., On the logic of theory base change, in C. MacNish, D. Pearce, and L. M. Pereira, (eds.), Logics in Artificial Intelligence, no. 835 in Lecture Notes Series in Computer Science, Springer Verlag, 1994, pp. 86\u2013105","DOI":"10.1007\/BFb0021966"},{"key":"9691_CR18","unstructured":"Williams M.-A., Iterated theory base change: A computational model, in Proceedings of the 14th IJCAI, Montreal, Canada, 1995, pp. 1541\u20131547."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9691-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9691-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9691-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T23:23:02Z","timestamp":1718839382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9691-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,15]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["9691"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9691-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2016,10,15]]}}}