The Situation Calculus: A Case for Modal Logic [Book Review]
Journal of Logic, Language and Information 19 (4):431-450 (2010)
|Abstract||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|
|Keywords||Situation calculus Epistemic logic Dynamic logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Michael Thielscher (2001). The Concurrent, Continuous Fluent Calculus. Studia Logica 67 (3):315-331.
Riccardo Rosati (2001). A Sound and Complete Tableau Calculus for Reasoning About Only Knowing and Knowing at Most. Studia Logica 69 (1):171-191.
Luca Alberucci & Alessandro Facchini (2009). On Modal Μ -Calculus and Gödel-Löb Logic. Studia Logica 91 (2):145 - 169.
Robert Demolombe, Andreas Herzig & Ivan Varzinczak (2003). Regression in Modal Logic. Journal of Applied Non-Classical Logic 13 (2):165-185.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
Added to index2010-01-16
Total downloads36 ( #38,044 of 722,873 )
Recent downloads (6 months)1 ( #60,917 of 722,873 )
How can I increase my downloads?