Regression in Modal Logic

Download Edit this record How to cite View on PhilPapers
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.
ISBN(s)
PhilPapers/Archive ID
DEMRIM-2
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 Responsibility.de Lima, Tiago; Royakkers, Lambér & Dignum, Frank

Add more citations

Added to PP index
2011-04-01

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.