The Situation Calculus: A Case for Modal Logic [Book Review]

Journal of Logic, Language and Information 19 (4):431-450 (2010)
  Copy   BIBTEX


The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages of the original



    Upload a copy of this work     Papers currently archived: 93,745

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

Belief Change: from Situation Calculus to Modal Logic.Robert Demolombe - 2003 - Journal of Applied Non-Classical Logics 13 (2):187-198.
Golog and Linear Logic Programming.G. White - 1998 - Dept. Of Computer Science, Queen Mary and Westfield College.
Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
Situation Calculus の非標準モデルについて.Hiratsuka Satoshi Fusaoka Akira - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:557-564.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In Maarten de Rijke (ed.), Advances in Intensional Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 249--279.


Added to PP

135 (#33,922)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.

View all 23 references / Add more references