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
470 ( #5,165 of 38,914 )

Recent downloads (6 months)
18 ( #22,029 of 38,914 )

How can I increase my downloads?

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