Graduate studies at Western
Journal of Logic, Language and Information 8 (4):429-443 (1999)
|Abstract||Various representation results have been established for logics of belief revision, in terms of remainder sets, epistemic entrenchment, systems of spheres and so on. In this paper I present another representation for logics of belief revision, as an algebra of theories. I show that an algebra of theories, enriched with a set of rejection operations, provides a suitable algebraic framework to characterize the theory change operations of systems of belief revision. The theory change operations arise as power operations of the conjunction and disjunction connectives of the underlying logic.|
|Keywords||belief contraction belief revision power orders theory change|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Thomas Meyer (2001). Basic Infobase Change. Studia Logica 67 (2):215-242.
Sten Lindström & Wlodek Rabinowicz (1991). Epistemic Entrenchment with Incomparabilities and Relational Belief Revision. In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer.
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.
Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. [REVIEW] Journal of Logic, Language and Information 9 (3):353-377.
Renata Wassermann (1999). Resource Bounded Belief Revision. Erkenntnis 50 (2-3):429-446.
Abhaya C. Nayak, Paul Nelson & Hanan Polansky (1996). Belief Change as Change in Epistemic Entrenchment. Synthese 109 (2):143 - 174.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
Added to index2009-01-28
Total downloads6 ( #154,793 of 739,318 )
Recent downloads (6 months)1 ( #61,243 of 739,318 )
How can I increase my downloads?