Journal of Philosophical Logic 46 (3):299-332 (2017)

Yan Zhang
Hong Kong Baptist University
There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are inter-definable as in the AGM case through the Levi and Harper identities. In this paper, we give a positive answer by providing methods for generating contraction and revision from their dual operations. Noticeably, we cannot apply the Levi and Harper identities directly in such methods as the Horn fragment does not fully support negation. To overcome this difficulty, a Horn approximation technique called Horn strengthening is used. We show that Horn contraction generated from Horn revision is always plausible whereas Horn revision generated from Horn contraction is, in general, implausible and, to regain plausibility, the generating contraction has to be properly restricted.
Keywords Belief change  Horn logic  Non-monotonic reasoning
Categories (categorize this paper)
DOI 10.1007/s10992-016-9401-2
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,046
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Textbook of Belief Dynamics: Theory Change and Database Updating.Sven Ove Hansson - 1999 - Dordrecht and Boston: Kluwer Academic Publishers.
Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
Knowledge in Flux.Henry E. Kyburg & Peter Gardenfors - 1993 - Noûs 27 (4):519-521.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Modal Horn Classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
The Saracens of King Horn.Diane Speed - 1990 - Speculum 65 (3):564-595.
Linear Logic as a Logic of Computations.Max I. Kanovich - 1994 - Annals of Pure and Applied Logic 67 (1-3):183-212.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
The Essentially Equational Theory of Horn Classes.Hans-E. Porst - 2000 - Mathematical Logic Quarterly 46 (2):233-240.
Foundational Belief Change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Constitution of the Athenians.Horn Horn - 1944 - Classical World: A Quarterly Journal on Antiquity 38:182-183.
Provisioning the Greeks at Troy.Horn Horn - 1942 - Classical World: A Quarterly Journal on Antiquity 36:67-68.
Fuzzy Horn Logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.
Winter, J. G., Life and Letters in the Papyri. [REVIEW]Horn Horn - 1936 - Classical World: A Quarterly Journal on Antiquity 30:99-100.
Some Notes on the Gospel According to Saint Mark.Horn Horn - 1946 - Classical World: A Quarterly Journal on Antiquity 40:134-136.
Justice And Morality: A Commentary on Christoph Horn’s Paper.Alessandro Pinzani - 2014 - [email protected] - An International Journal for Moral Philosophy 13 (1):18-26.
Continuous Fuzzy Horn Logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.


Added to PP index

Total views
24 ( #457,155 of 2,454,452 )

Recent downloads (6 months)
1 ( #449,269 of 2,454,452 )

How can I increase my downloads?


My notes