Abstract
Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K) can be represented by two relations, < and \({{\vartriangleleft}}\), where < is the usual ranked relation, and \({{\vartriangleleft}}\) is a sub-relation of < . They have, however, left open a characterization of the infinite case, which we treat here.
Similar content being viewed by others
References
Alchourron C., Gardenfors P., Makinson D. (1985) ‘On the Logic of Theory Change: partial meet contraction and revision functions’. Journal of Symbolic Logic 50: 510–530
Booth, R., S. Chopra, T. Meyer, and A. Ghose, ‘A unifying semantics for belief change’, ECAI 2004, pp. 793–797.
Gabbay, D., and K. Schlechta, ‘Roadmap for preferential logics’, Journal of applied nonclassical logic, Hermes, Cachan, France, Vol. 19/1:43–95, 2009, see also hal-00311941, arXiv 0808.3073.
Kraus, S., D. Lehmann, and M. Magidor, ‘Nonmonotonic reasoning, preferential models and cumulative logics’, Artificial Intelligence, 44 (1-2):167–207, July 1990.
Lehmann, D., M. Magidor, and K. Schlechta, ‘Distance Semantics for Belief Revision’, Journal of Symbolic Logic, Vol. 66, No. 1:295–317, March 2001.
Schlechta, K., and D. Makinson, ‘Local and Global Metrics for the Semantics of Counterfactual Conditionals’, Journal of Applied Non-Classical Logics, Vol. 4, No. 2:129–140, Hermes, Paris, 1994, also LIM Research Report RR 37, 09/94.
Schlechta, K., Coherent Systems, Elsevier, Amsterdam, 2004.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gabbay, D.M., Schlechta, K. A Comment on Work by Booth and Co-authors. Stud Logica 94, 403–432 (2010). https://doi.org/10.1007/s11225-010-9237-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9237-7