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)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2017.07.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

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 as change in epistemic entrenchment.Abhaya C. Nayak, Paul Nelson & Hanan Polansky - 1996 - Synthese 109 (2):143 - 174.
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.
Interrogative Belief Revision Based on Epistemic Strategies.Sebastian Enqvist - 2012 - Studia Logica 100 (3):453-479.
Four Ways in Which Theories of Belief Revision Could Benefit from Theories of Epistemic Justification.Gordian Haas - 2020 - Erkenntnis 85 (2):295-316.
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.
Yet more modal logics of preference change and belief revision.Jan van Eijck - unknown
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.
Belief revision, epistemic conditionals and the Ramsey test.Sten Lindström & Wlodzimierz Rabinowicz - 1992 - Synthese 91 (3):195-237.
Belief Revision in Dynamic Epistemic Logic and Ranking Theory.Peter Fritz - manuscript

Analytics

Added to PP
2020-12-22

Downloads
14 (#968,362)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the progression of belief.Daxin Liu & Qihui Feng - 2023 - Artificial Intelligence 322 (C):103947.

Add more citations

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