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.

Author Profiles

Analytics

Added to PP
2011-04-01

Downloads
743 (#18,046)

6 months
61 (#61,874)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?