Belief Change: from Situation Calculus to Modal Logic

Journal of Applied Non-Classical Logics 13 (2):187-198 (2003)
  Copy   BIBTEX

Abstract

We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues.

Categories

Keywords

Reprint years

DOI

10.3166/jancl.13.187-198

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.
Yet more modal logics of preference change and belief revision.Jan van Eijck - unknown
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Some logics of iterated belief change.John Cantwell - 1999 - Studia Logica 63 (1):49-84.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
The Formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (logic LCG).Kordula Świętorzecka - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:113-120.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
Sahlqvist Correspondence for Modal mu-calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Review: A. N. Prior, Notes on a Group of New Modal Systems; R. A. Bull, An Axiomatization of Prior's Modal Calculus $mathbf{Q}$; A. N. Prior, Axiomatisations of the Modal Calculus $mathbf{Q}$. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464-464.
Hume's surprise and the logic of belief changes.Ingvar Johansson - 1998 - Synthese 117 (2):275-291.

Analytics

Added to PP
2014-01-21

Downloads
70 (#229,722)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.

Add more references