Regression in Modal Logic


Authors
Abstract
In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
Keywords Modal Logic  Reasoning about Actions  Regression
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/jancl.13.165-185
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Some Philosophical Problems From the Standpoint of Artificial Intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Translation Methods for Non-Classical Logics: An Overview.Hans Ohlbach - 1993 - Logic Journal of the IGPL 1 (1):69-89.

Add more references

Citations of this work BETA

The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Transition Logic Revisited.Wolfgang Bibel - 2008 - Logic Journal of the IGPL 16 (4):317-334.

Add more citations

Similar books and articles

Modal Logic.Johan van Benthem - 2015 - Internet Encyclopedia of Philosophy.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Is Modal Logic Logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Modality, Si! Modal Logic, No!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.
What One May Come to Know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
Elementary Classes in Basic Modal Logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
A Spatial Modal Logic with a Location Interpretation.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (4):331.
On a Four-Valued Modal Logic with Deductive Implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.

Analytics

Added to PP index
2011-04-01

Total views
517 ( #9,016 of 2,285,603 )

Recent downloads (6 months)
29 ( #30,977 of 2,285,603 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature