Regression in Modal Logic

Journal of Applied Non-Classical Logics 13 (2):165-185 (2003)
  Copy   BIBTEX

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.

Other Versions

No versions found

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.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.
Epistemic Logics for Relevant Reasoners.Igor Sedlár & Pietro Vigiani - 2024 - Journal of Philosophical Logic 53 (5):1383-1411.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.

Analytics

Added to PP
2011-04-01

Downloads
430 (#59,298)

6 months
70 (#82,262)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

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.
Handbook of Philosophical Logic.[author unknown] - 1983 - .
Translation Methods for Non-Classical Logics: An Overview.Hans Ohlbach - 1993 - Logic Journal of the IGPL 1 (1):69-89.

Add more references