@article(AGM85,
 author       = {Carlos Alchourr\'{o}n and Peter G\"{a}rdenfors and David Makinson},
 year         = {1985},
 title        = {On the logic of theory change: partial meet contraction and revision functions},
 journal      = {The Journal of Symbolic Logic},
 volume       = {50},
 pages        = {510--530},
 doi          = {10.2307/2274239},
)
@techreport(Bon23,
 author       = {Giacomo Bonanno},
 year         = {2023},
 title        = {A Kripke-Stalnaker-Lewis semantics for AGM belief revision},
 type         = {Technical Report},
 institution  = {REPEC preprint No. 354},
 url          = {https://econpapers.repec.org/paper/cdawpaper/354.htm},
)
@article(Choetal08,
 author       = {Samir Chopra and Aditya Ghose and Thomas Meyer and Ka-Shu Wong},
 year         = {2008},
 title        = {Iterated Belief Change and the Recovery Axiom},
 journal      = {Journal of Philosophical Logic},
 volume       = {37},
 number       = {5},
 pages        = {501--520},
 doi          = {10.1007/s10992-008-9086-2},
)
@article(Fer98,
 author       = {Eduardo Ferm\'e},
 year         = {1998},
 title        = {On the Logic of Theory Change: Contraction without Recovery},
 journal      = {Journal of Logic, Language, and Information},
 volume       = {7},
 number       = {2},
 pages        = {127--137},
 doi          = {10.1023/A:1008241816078},
)
@article(FerHans11,
 author       = {Eduardo Ferm\'e and Sven Ove Hansson},
 year         = {2011},
 title        = {{AGM} 25 Years},
 journal      = {Journal of Philosophical Logic},
 volume       = {40},
 pages        = {295--331},
 doi          = {10.1007/S10992-011-9171-9},
)
@book(FerHans18,
 author       = {Eduardo Ferm\'e and Sven Ove Hansson},
 year         = {2018},
 title        = {Belief change: introduction and overview},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-60535-7},
)
@article(FerRod98,
 author       = {Eduardo Ferm\'e and Ricardo Rodriguez},
 year         = {1998},
 title        = {Semi-Contraction: Axioms and Construction},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {39},
 number       = {3},
 pages        = {332--345},
 doi          = {10.1305/ndjfl/1039182250},
)
@inproceedings(FriHal94,
 author       = {Nir Friedman and Joseph Halpern},
 year         = {1994},
 title        = {Conditional logics of belief change},
 editor       = {Hayes-Roth, Barbara and Richard Korf},
 booktitle    = {AAAI'94: Proceedings},
 publisher    = {AAAI Press},
 pages        = {915--921},
 url          = {https://dl.acm.org/doi/proceedings/10.5555/2891730},
)
@article(Fuh91,
 author       = {Andr\'{e} Fuhrmann},
 year         = {1991},
 title        = {Theory contraction through base contraction},
 journal      = {Journal of Philosophical Logic},
 volume       = {20},
 pages        = {175--203},
 doi          = {10.1007/BF00284974},
)
@article(Gae86,
 author       = {Peter G\"{a}rdenfors},
 year         = {1986},
 title        = {Belief Revisions and the {R}amsey Test for Conditionals},
 journal      = {Philosophical Review},
 volume       = {95},
 number       = {1},
 pages        = {81--93},
 doi          = {10.2307/2185133},
)
@book(Gae88,
 author       = {Peter G\"{a}rdenfors},
 year         = {1988},
 title        = {Knowledge in flux: modeling the dynamics of epistemic states},
 publisher    = {MIT Press},
 url          = {https://www.collegepublications.co.uk/logic/lcs/?00004},
)
@incollection(Geo17,
 author       = {Konstantinos Georgatos},
 year         = {2017},
 title        = {Epistemic Conditionals and the Logic of Subsets},
 editor       = {Ramaswamy Ramanujam and Lawrence Moss and Ba\c{s}kent, Can},
 booktitle    = {Rohit Parikh on Logic, Language and Society},
 publisher    = {Springer Verlag},
 pages        = {259--277},
 doi          = {10.1007/978-3-319-47843-2},
)
@article(Gro88,
 author       = {Adam Grove},
 year         = {1988},
 title        = {Two modellings for theory change},
 journal      = {Journal of Philosophical Logic},
 volume       = {17},
 pages        = {157--170},
 doi          = {10.1007/BF00247909},
)
@article(Hans91,
 author       = {Sven Ove Hansson},
 year         = {1991},
 title        = {Belief contraction without recovery},
 journal      = {Studia Logica},
 volume       = {50},
 number       = {2},
 pages        = {251--260},
 doi          = {10.1007/BF00370186},
)
@incollection(Hans96,
 author       = {Sven Ove Hansson},
 year         = {1996},
 title        = {Hidden structures of belief},
 editor       = {Andre Fuhrmann and Hans Rott},
 booktitle    = {Logic, Actions and Information},
 publisher    = {de Gruyter},
 pages        = {79--100},
 url          = {https://www.degruyter.com/document/isbn/9783110868890/html?lang=en},
)
@article(Hans99b,
 author       = {Sven Ove Hansson},
 year         = {1999},
 title        = {Recovery and epistemic residue},
 journal      = {Journal of Logic, Language and Information},
 volume       = {8},
 pages        = {421--428},
 doi          = {10.1023/A:1008316915066},
)
@book(Hans99c,
 author       = {Sven Ove Hansson},
 year         = {1999},
 title        = {A textbook of belief dynamics: Theory change and database updating},
 publisher    = {Springer Dordrecht},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-007-0814-3},
)
@inproceedings(KonPin17,
 author       = {S{\'e}bastien Konieczny and Pino P{\'e}rez, Ram{\'o}n},
 year         = {2017},
 title        = {On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity},
 editor       = {Seraf{\'i}n Moral and Olivier Pivert and Daniel S{\'a}nchez and Nicol{\'a}s Mar{\'i}n},
 booktitle    = {Scalable Uncertainty Management},
 publisher    = {Springer International Publishing},
 pages        = {348--362},
 doi          = {10.1007/978-3-319-67582-4_25},
)
@book(Lev91,
 author       = {Isaac Levi},
 year         = {1991},
 title        = {The fixation of belief and its undoing},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511663819},
)
@book(Lev04,
 author       = {Isaac Levi},
 year         = {2004},
 title        = {Mild {Contraction}},
 publisher    = {Oxford University Press},
 doi          = {10.1093/0199270708.001.0001},
)
@book(Lew73,
 author       = {David Lewis},
 year         = {1973},
 title        = {Counterfactuals},
 publisher    = {Harvard University Press},
 url          = {https://www.wiley.com/en-us/Counterfactuals-p-9780631224259},
)
@inproceedings(LinRab91,
 author       = {Sten Lindstr\"om and Wlodek Rabinowicz},
 year         = {1991},
 title        = {Epistemic entrenchment with incomparabilities and relational belief revision},
 editor       = {Andr\'e Fuhrmann and Michael Morreau},
 booktitle    = {The Logic of Theory Change},
 publisher    = {Springer},
 pages        = {93--126},
 doi          = {10.1007/BFb0018418},
)
@incollection(LinRab98,
 author       = {Sten Lindstr\"{o}m and Wlodek Rabinowicz},
 year         = {1998},
 title        = {Conditionals and the {R}amsey Test},
 editor       = {Didier Dubois and Henri Prade},
 booktitle    = {Belief Change},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 pages        = {147--188},
 doi          = {10.1007/978-94-011-5054-5_4},
)
@article(LinRab92,
 author       = {Sten Linstr\"{o}m and Wlodzimierz Rabinowicz},
 year         = {1992},
 title        = {The {R}amsey test revisited*},
 journal      = {Theoria},
 volume       = {58},
 number       = {2-3},
 pages        = {131--182},
 doi          = {10.1111/j.1755-2567.1992.tb01138.x},
)
@article(Mak87,
 author       = {David Makinson},
 year         = {1987},
 title        = {On the status of the postulate of recovery in the logic of theory change},
 journal      = {Journal of Philosophical Logic},
 volume       = {16},
 pages        = {383--394},
 doi          = {10.1007/BF00431184},
)
@article(Meyetal02,
 author       = {Thomas Meyer and Johannes Heidema and Willem Labuschagne and Louise Leenen},
 year         = {2002},
 title        = {Systematic Withdrawal},
 journal      = {Journal of Philosophical Logic},
 volume       = {31},
 number       = {5},
 pages        = {415--443},
 doi          = {10.1023/A:1020199115746},
)
@inproceedings(MosPar92,
 author       = {Lawrence S Moss and Rohit Parikh},
 year         = {1992},
 title        = {Topological reasoning and the logic of knowledge: preliminary report},
 editor       = {Yoram Moses},
 booktitle    = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK 1992)},
 publisher    = {Morgan Kaufmann},
 pages        = {95-- 105},
)
@inproceedings(Nie91,
 author       = {Reinhard Nieder{\'e}e},
 year         = {1991},
 title        = {Multiple contraction a further case against {G}\"ardenfors' principle of recovery},
 editor       = {Andr{\'e} Fuhrmann and Michael Morreau},
 booktitle    = {The Logic of Theory Change},
 publisher    = {Springer},
 pages        = {322--334},
 doi          = {10.1007/BFb0018427},
)
@incollection(Ram50,
 author       = {Frank P. Ramsey},
 year         = {1950},
 title        = {General Propositions and Causality},
 editor       = {R. B. Braithwaite},
 booktitle    = {The Foundations of Mathematics and other Logical Essays},
 publisher    = {Humanities Press},
 pages        = {237--257},
 doi          = {10.4324/9781315887814},
)
@article(Rot86,
 author       = {Hans Rott},
 year         = {1986},
 title        = {Ifs, though, and because},
 journal      = {Erkenntnis},
 volume       = {25},
 number       = {3},
 pages        = {345--370},
 doi          = {10.1007/BF00175348},
)
@article(Rot17,
 author       = {Hans Rott},
 year         = {2017},
 title        = {Preservation and postulation: lessons from the new debate on the {R}amsey test},
 journal      = {Mind},
 volume       = {126},
 number       = {502},
 pages        = {609--626},
 doi          = {10.1093/mind/fzw028},
)
@article(PagRot99,
 author       = {Hans Rott and Maurice Pagnucco},
 year         = {1999},
 title        = {Severe Withdrawal (and Recovery)},
 journal      = {Journal of Philosophical Logic},
 volume       = {28},
 number       = {5},
 pages        = {501--547},
 doi          = {10.1023/A:1004344003217},
)
@inproceedings(Sauetal20,
 author       = {Kai Sauerwald and Kern-Isberner, Gabriele and Christoph Beierle},
 year         = {2020},
 title        = {A conditional perspective for iterated belief contraction},
 editor       = {G.D. Giacomo et al},
 booktitle    = {ECAI 2020},
 publisher    = {IOS Press},
 address      = {Berlin, Heidelberg},
 pages        = {889--896},
 url          = {10.3233/FAIA200180},
)
@incollection(Stal68,
 author       = {Robert Stalnaker},
 year         = {1968},
 title        = {A theory of conditionals},
 editor       = {N. Rescher},
 booktitle    = {Studies in logical theory},
 publisher    = {Blackwell},
 pages        = {98--112},
 doi          = {10.1007/978-94-009-9117-0_2},
)