{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T22:30:17Z","timestamp":1772490617111,"version":"3.50.1"},"reference-count":23,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1998,7,1]]},"DOI":"10.1305\/ndjfl\/1039182250","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:42:12Z","timestamp":1046205732000},"source":"Crossref","is-referenced-by-count":11,"title":["Semi-Contraction: Axioms and Construction"],"prefix":"10.1215","volume":"39","author":[{"given":"Eduardo","family":"Ferm\u00e9","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Rodriguez","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"15","unstructured":"Lewis, D., <i>Counterfactuals<\/i>, Blackwell, Oxford, 1973. Zbl 01700109 MR 54:9979"},{"key":"1","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C., P. G\u00e4rdenfors, and D. Makinson, \u201cOn the logic of theory change: Partial meet contraction and revision functions,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 510\u201330. Zbl 0578.03011 MR 87c:03020","DOI":"10.2307\/2274239"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C., and D. Makinson, \u201cHierarchies of regulations and their logic,\u201d pp. 125\u201348 in <i>New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics<\/i>, edited by R. Hilpinen, D. Reidel, Dordrecht, 1981. MR 83a:03014","DOI":"10.1007\/978-94-009-8484-4_5"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C., and D. Makinson, \u201cOn the logic of theory change: Contraction functions and their associated revision functions,\u201d <i>Theoria<\/i>, vol. 48 (1982), pp. 14\u201337. Zbl 0525.03001 MR 85g:03023","DOI":"10.1111\/j.1755-2567.1982.tb00480.x"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Ferm\u00e9, E., \u201cOn the logic of theory change: Contraction without recovery,\u201d <i>Journal of Logic, Language and Information<\/i>, vol. 7 (1998), pp. 127\u201337. Zbl 0905.03011 MR 99j:03024","DOI":"10.1023\/A:1008241816078"},{"key":"5","unstructured":"Ferm\u00e9, E., <i>Revising the A<\/i>GM postulates, Ph.D. thesis, University of Buenos Aires, 1999."},{"key":"6","doi-asserted-by":"crossref","unstructured":"Ferm\u00e9, E., and R. Rodriguez, \u201cA brief note about the Rott contraction,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 6 (1998), pp. 835\u201342.","DOI":"10.1093\/jigpal\/6.6.835"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Fuhrmann, A., and S. Hansson, \u201cA survey of multiple contraction,\u201d <i>Journal of Logic, Language and Information<\/i>, vol. 3 (1994), pp. 39\u201374. MR 95i:68129","DOI":"10.1007\/BF01066356"},{"key":"8","unstructured":"G\u00e4rdenfors, P., <i>Knowledge in Flux: Modeling the Dynamics of Epistemic States<\/i>, The MIT Press, Cambridge, 1988. MR 89k:00015"},{"key":"9","unstructured":"G\u00e4rdenfors, P., and D. Makinson, \u201cRevisions of knowledge systems using epistemic entrenchment,\u201d pp. 83-95 in <i>Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge<\/i>, edited by M. Vardi, Los Altos, 1988. Zbl 0711.03009 MR 1 011 079"},{"key":"10","doi-asserted-by":"publisher","unstructured":"A. Grove, \u201cTwo modellings for theory change,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 17 (1988), pp.157\u201370. Zbl 0639.03025 MR 89e:03027","DOI":"10.1007\/BF00247909"},{"key":"11","doi-asserted-by":"publisher","unstructured":"S. Hansson, \u201cChanges of disjunctively closed bases,\u201d <i>Journal of Logic, Language and Information<\/i>, vol. 2 (1993), pp. 255\u201384. Zbl 0798.03029 MR 95i:68130","DOI":"10.1007\/BF01181682"},{"key":"12","unstructured":"Hansson, S., <i>A Textbook of Belief Dynamics<\/i>, Kluwer Academic Publishers, Dordrecht, 1998. Zbl 0947.03023 MR 2001b:03019a"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Hansson, S., and E. Olsson, \u201cLevi contraction and AGM contraction: a comparison,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 103\u201319. MR 97h:03054","DOI":"10.1305\/ndjfl\/1040308830"},{"key":"14","doi-asserted-by":"crossref","unstructured":"Levi, I., <i>The fixation of belief and its undoing: changing beliefs through inquiry<\/i>, Cambridge University Press, Cambridge, 1991.","DOI":"10.1017\/CBO9780511663819"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Lindstr \u00f6m, S., and W. Rabinowicz., \u201cEpistemic entrenchment with incomparabilities and relational belief revision,\u201d pp. 93\u2013126 in <i>The Logic of Theory Change<\/i>, edited by A. Fuhrmann and M. Morreau, Springer-Verlag, Berlin, 1991. Zbl 0925.03128 MR 1 096 792","DOI":"10.1007\/BFb0018418"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Makinson, D., \u201cOn the status of the postulate of recovery in the logic of theory change,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 16 (1987), pp. 383\u201394. Zbl 0632.03008 MR 89b:03019","DOI":"10.1007\/BF00431184"},{"key":"18","unstructured":"Makinson, D., \u201cOn the force of some apparent counterexamples to recovery,\u201d pp. 475\u201381 in <i>Normative Systems in Legal and Moral Theory: Festschrift for Carlos Alchourr\u00f3n and Eugenio Bulygin<\/i>, edited by E. Garz\u00f3n Vald\u00e9z et al., Duncker et Humblot, Berlin, 1997."},{"key":"19","unstructured":"Pagnucco, M., <i>The Role of Abductive Reasoning Within the Process of Belief Revision<\/i>, Ph.D. thesis, Department of Computer Science, University of Sydney, 1996."},{"key":"20","unstructured":"Rott, H., \u201cMaking up one's mind: Foundations, coherence, nonmonotonicity,\u201d <i>H<\/i>abilitationsschrift, Philosophische Fakult\u00e4t, Universit\u00e4t Konstanz, Konstanz, 1996."},{"key":"21","doi-asserted-by":"publisher","unstructured":"Rott, H., \u201cTwo methods of constructing contractions and revisions of knowledge systems,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 20 (1991), pp. 149\u201373. Zbl 0723.03009 MR 92g:68136","DOI":"10.1007\/BF00284973"},{"key":"22","unstructured":"Rott, H., \u201cJust because: taking belief bases very seriously,\u201d pp. 106\u201324 in <i>Logic for a change<\/i>, edited by S. Hansson and W. Rabinowicz, Uppsala Prints and Preprints in Philosophy, Uppsala University, Uppsala, 1995."},{"key":"23","doi-asserted-by":"crossref","unstructured":"Rott, H., and M. Pagnucco., \u201cSevere withdrawl (and recovery),\u201d <i>Journal of Philosophical Logic<\/i>, vol. 28 (1999), pp. 501\u201347.","DOI":"10.1023\/A:1004344003217"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039182250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:25Z","timestamp":1706649205000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-3\/Semi-Contraction-Axioms-and-Construction\/10.1305\/ndjfl\/1039182250.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7,1]]},"references-count":23,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1998,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039182250","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1998,7,1]]}}}