Graduate studies at Western
Studia Logica 63 (1):49-84 (1999)
|Abstract||The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Grove's notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of iterated belief change. It is then argued that the logic of expansion, in particular, cannot without loss of generality be strengthened any further to allow for a full logic of iterated belief change. To remedy this situation a notion of directed expansion is introduced that allows for a full logic of iterated belief change. The new operation is given an axiomatisation that is complete for linear hypertheories.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong (2008). Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic 37 (5):501 - 520.
Giacomo Bonanno (2012). Belief Change in Branching Time: AGM-Consistency and Iterated Revision. [REVIEW] Journal of Philosophical Logic 41 (1):201-236.
Abhaya C. Nayak, Paul Nelson & Hanan Polansky (1996). Belief Change as Change in Epistemic Entrenchment. Synthese 109 (2):143 - 174.
Jake Chandler (2013). Transmission Failure, AGM-Style. Erkenntnis 78 (2):383-398.
Abhaya C. Nayak (1994). Iterated Belief Change Based on Epistemic Entrenchment. Erkenntnis 41 (3):353-390.
Thomas Meyer (2001). Basic Infobase Change. Studia Logica 67 (2):215-242.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
John Cantwell (2000). Logics of Belief Change Without Linearity. Journal of Symbolic Logic 65 (4):1556-1575.
Added to index2009-01-28
Total downloads7 ( #142,819 of 754,610 )
Recent downloads (6 months)1 ( #63,372 of 754,610 )
How can I increase my downloads?