Belief revision and projection in the epistemic situation calculus

Artificial Intelligence 251 (C):62-97 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Revocable Belief Revision.Hans van Ditmarsch - 2013 - Studia Logica 101 (6):1185-1214.
Belief Change: from Situation Calculus to Modal Logic.Robert Demolombe - 2003 - Journal of Applied Non-Classical Logics 13 (2):187-198.
Irrevocable belief revision and epistemic entrenchment.E. Fermé - 2000 - Logic Journal of the IGPL 8 (5):645-652.
Modelling Epistemic Actions in Interrogative Belief Revision.Sebastian Enqvist - 2012 - Journal of Logic and Computation 22 (6):1335-1365.
Paraconsistent dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Belief fusion and revision: an overview based on epistemic logic semantics.Churn-Jung Liau - 2004 - Journal of Applied Non-Classical Logics 14 (3):247-274.
Belief revision.Hans Rott - 2008 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press. pp. 514--534.

Analytics

Added to PP
2020-12-22

Downloads
18 (#858,167)

6 months
15 (#185,490)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.

View all 24 references / Add more references