Regression in Modal Logic

Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
Archival date: 2011-04-01
View other versions
Added to PP index

Total views
566 ( #7,929 of 54,352 )

Recent downloads (6 months)
35 ( #20,429 of 54,352 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.