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
Revision history
Archival date: 2011-04-01
View upload history
References found in this work BETA

Add more references

Citations of this work BETA
A Logic For Reasoning About Lima, Tiago; Royakkers, Lambér & Dignum, Frank

Add more citations

Added to PP index

Total views
522 ( #7,029 of 47,108 )

Recent downloads (6 months)
30 ( #25,517 of 47,108 )

How can I increase my downloads?

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