Studia Logica 70 (1):23-47 (2002)
In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision which are a small variant of Darwiche and Pearl''s ones. The conditional logic IBC has a standard semantics in terms of selection function models and provides a natural representation of epistemic states. We establish a correspondence between iterated belief revision systems and IBC-models. Our representation theorem does not entail Gärdenfors'' Triviality Result.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Theorem Proving for Conditional Logics: CondLean and GOALD U CK.Nicola Olivetti & Gian Luca Pozzato - 2008 - Journal of Applied Non-Classical Logics 18 (4):427-473.
Similar books and articles
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Belief Change in Branching Time: AGM-Consistency and Iterated Revision. [REVIEW]Giacomo Bonanno - 2012 - Journal of Philosophical Logic 41 (1):201-236.
Ordinal Conditional Functions. A Dynamic Theory of Epistemic States.Wolfgang Spohn - 1988 - In W. L. Harper & B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, vol. II. Kluwer Academic Publishers.
On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89:1-29.
Iterated Revision and Minimal Change of Conditional Beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.
Added to index2009-01-28
Total downloads36 ( #142,035 of 2,163,866 )
Recent downloads (6 months)1 ( #348,100 of 2,163,866 )
How can I increase my downloads?