{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T19:46:29Z","timestamp":1773690389798,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1023\/a:1020199115746","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T08:36:10Z","timestamp":1047717370000},"page":"415-443","source":"Crossref","is-referenced-by-count":15,"title":["Systematic Withdrawal"],"prefix":"10.1007","volume":"31","author":[{"given":"Thomas","family":"Meyer","sequence":"first","affiliation":[]},{"given":"Johannes","family":"Heidema","sequence":"additional","affiliation":[]},{"given":"Willem","family":"Labuschagne","sequence":"additional","affiliation":[]},{"given":"Louise","family":"Leenen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5092203_CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C. E. Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C. E. and Makinson, D.: 1982, On the logic of theory change: Contraction functions and their associated revision functions, Theoria\n48, 14-37. bl","journal-title":"Theoria"},{"key":"5092203_CR2","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. E. and Makinson, D.: 1985, On the logic of theory change: Safe contraction, Studia Logica\n44, 405-422.","journal-title":"Studia Logica"},{"key":"5092203_CR3","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. E., G\u00e4rdenfors, P. and Makinson, D.: 1985, On the logic of theory change: Partial meet functions for contraction and revision, J. Symbolic Logic\n50, 510-530.","journal-title":"J. Symbolic Logic"},{"key":"5092203_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier, C.: 1994, Unifying default reasoning and belief revision in a modal framework, Artificial Intelligence\n68, 33-85.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"5092203_CR5","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1005219504371","volume":"63","author":"J. Cantwell","year":"1999","unstructured":"Cantwell, J.: 1999, Some logics of iterated belief change, Studia Logica\n63(1), 49-84.","journal-title":"Studia Logica"},{"issue":"2","key":"5092203_CR6","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1023\/A:1008241816078","volume":"7","author":"E. Ferm\u00e9","year":"1998","unstructured":"Ferm\u00e9, E.: 1998, On the logic of theory change: Contraction without recovery, J. Logic, Language and Inform.\n7(2), 122-137.","journal-title":"J. Logic, Language and Inform."},{"key":"5092203_CR7","doi-asserted-by":"crossref","unstructured":"Ferm\u00e9, E. and Rodriguez, R.: 1998, Semi-contraction: Axioms and construction, Unpublished manuscript, Universidad de Buenos Aires.","DOI":"10.1305\/ndjfl\/1039182250"},{"key":"5092203_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"Fuhrmann, A.: 1991, Theory contraction through base contraction, J. Philos. Logic\n20, 175-203.","journal-title":"J. Philos. Logic"},{"key":"5092203_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, The MIT Press, Cambridge, MA."},{"key":"5092203_CR10","first-page":"83","volume-title":"Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P. and Makinson, D.: 1988, Revisions of knowledge systems using epistemic entrenchment, in M. Vardi (ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, Los Altos, California, pp. 83-95."},{"key":"5092203_CR11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M. L. Ginsberg","year":"1986","unstructured":"Ginsberg, M. L.: 1986, Counterfactuals, Artificial Intelligence\n30, 35-79.","journal-title":"Artificial Intelligence"},{"key":"5092203_CR12","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A.: 1988, Two modellings for theory change, J. Philos. Logic\n17, 157-170.","journal-title":"J. Philos. Logic"},{"key":"5092203_CR13","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00370186","volume":"50","author":"S. O. Hansson","year":"1991","unstructured":"Hansson, S. O.: 1991, Belief contraction without recovery, Studia Logica\n50, 251-260.","journal-title":"Studia Logica"},{"key":"5092203_CR14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1017\/CBO9780511526664.004","volume-title":"Belief Revision","author":"S. O. Hansson","year":"1992","unstructured":"Hansson, S. O.: 1992, A dyadic representation of belief, in P. G\u00e4rdenfors (ed.), Belief Revision, Cambridge University Press, Cambridge, pp. 89-121."},{"issue":"2","key":"5092203_CR15","doi-asserted-by":"crossref","first-page":"602","DOI":"10.2307\/2275221","volume":"58","author":"S. O. Hansson","year":"1993","unstructured":"Hansson, S. O.: 1993, Theory contraction and base contraction unified, J. Symbolic Logic\n58(2), 602-625.","journal-title":"J. Symbolic Logic"},{"key":"5092203_CR16","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0004-3702(95)00005-4","volume":"82","author":"S. O. Hansson","year":"1996","unstructured":"Hansson, S. O.: 1996, Knowledge-level analysis of belief base operations, Artificial Intelligence\n82, 215-235.","journal-title":"Artificial Intelligence"},{"key":"5092203_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics, Theory Change and Database Updating","author":"S. O. Hansson","year":"1999","unstructured":"Hansson, S. O.: 1999, A Textbook of Belief Dynamics, Theory Change and Database Updating, Kluwer Academic Publishers, Dordrecht."},{"issue":"1","key":"5092203_CR18","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1305\/ndjfl\/1040308830","volume":"36","author":"S. O. Hansson","year":"1995","unstructured":"Hansson, S. O. and Olsson, E. J.: 1995, Levi contractions and AGM contractions: A comparison, Notre Dame J. Formal Logic\n36(1), 103-119.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5092203_CR19","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H. and Mendelzon, A.: 1991, Propositional knowledge base revision and minimal change, Artificial Intelligence\n52, 263-294.","journal-title":"Artificial Intelligence"},{"key":"5092203_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D. and Magidor, M.: 1992, What does a conditional knowledge base entail?, Artificial Intelligence\n55, 1-60.","journal-title":"Artificial Intelligence"},{"key":"5092203_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663819","volume-title":"The Fixation of Belief and Its Undoing","author":"I. Levi","year":"1991","unstructured":"Levi, I.: 1991, The Fixation of Belief and Its Undoing, Cambridge University Press, Cambridge."},{"key":"5092203_CR22","unstructured":"Levi, I.: 1998, Contraction and informational value, Unpublished manuscript, Columbia University."},{"key":"5092203_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BFb0018418","volume-title":"The Logic of Theory Change: Workshop, Konstanz, FRG, October 1989, Proceedings","author":"S. Lindstr\u00f6m","year":"1991","unstructured":"Lindstr\u00f6m, S. and Rabinowicz, W.: 1991, Epistemic entrenchment with incomparabilities and relational belief revision, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 1989, Proceedings, Lecture Notes in Artificial Intelligence 465, Springer-Verlag, Berlin, pp. 93-126."},{"key":"5092203_CR24","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BF00431184","volume":"16","author":"D. Makinson","year":"1987","unstructured":"Makinson, D.: 1987, On the status of the postulate of Recovery in the logic of theory change, J. Philos. Logic\n16, 383-394.","journal-title":"J. Philos. Logic"},{"key":"5092203_CR25","volume-title":"Normative Systems in Legal and Moral Theory","author":"D. Makinson","year":"1997","unstructured":"Makinson, D.: 1997, On the force of some apparent counterexamples to Recovery, in E. G. Vald\u00e9s, W. Krawietz, G. H. von Wright, and R. Zimmerling (eds.), Normative Systems in Legal and Moral Theory, Dunker and Humboldt, Berlin."},{"key":"5092203_CR26","volume-title":"Semantic belief change","author":"T. A. Meyer","year":"1999","unstructured":"Meyer, T. A.: 1999, Semantic belief change, Ph.D. Thesis, Department of Computer Science and Information Systems, University of South Africa, Pretoria, South Africa."},{"issue":"2","key":"5092203_CR27","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1023\/A:1008316802976","volume":"9","author":"T. A. Meyer","year":"2000","unstructured":"Meyer, T. A., Labuschagne, W. A. and Heidema, J.: 2000, Refined epistemic entrenchment, J. Logic, Language and Inform.\n9(2), 237-259.","journal-title":"J. Logic, Language and Inform."},{"key":"5092203_CR28","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01049408","volume":"23","author":"A. C. Nayak","year":"1994","unstructured":"Nayak, A. C.: 1994, Foundational belief change, J. Philos. Logic\n23, 495-533.","journal-title":"J. Philos. Logic"},{"key":"5092203_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0018427","volume-title":"The Logic of Theory Change: Workshop, Konstanz, FRG, October 1989, Proceedings","author":"R. Niederee","year":"1991","unstructured":"Niederee, R.: 1991, Multiple contraction. A further case against G\u00e4rdenfors's principle of recovery, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 1989, Proceedings, Lecture Notes in Artificial Intelligence 465, Springer-Verlag, Berlin, pp. 322-334."},{"key":"5092203_CR30","volume-title":"The role of abductive reasoning within the process of belief revision","author":"M. Pagnucco","year":"1996","unstructured":"Pagnucco, M.: 1996, The role of abductive reasoning within the process of belief revision, Ph.D. Thesis, Basser Department of Computer Science, University of Sydney, Australia."},{"issue":"1","key":"5092203_CR31","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1111\/j.1755-2567.1992.tb01154.x","volume":"58","author":"H. Rott","year":"1992","unstructured":"Rott, H.: 1992, Modellings for belief change: Prioritization and entrenchment, Theoria\n58(1), 21-57.","journal-title":"Theoria"},{"key":"5092203_CR32","unstructured":"Rott, H.: 1995, Just because. Taking belief bases very seriously, in S. O. Hansson and W. Rabinowicz (eds.), Logic for a Change, Vol. 9, Uppsala Prints and Preprints in Philosophy, pp. 106-124."},{"issue":"5","key":"5092203_CR33","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1023\/A:1004344003217","volume":"25","author":"H. Rott","year":"1999","unstructured":"Rott, H. and Pagnucco, M.: 1999, Severe withdrawal (and Recovery), J. Philos. Logic\n25(5), 501-547.","journal-title":"J. Philos. Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020199115746.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020199115746\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1020199115746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020199115746.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:39:13Z","timestamp":1752147553000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020199115746"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["5092203"],"URL":"https:\/\/doi.org\/10.1023\/a:1020199115746","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}