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
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.