LILaC
- paper abstract
Regression in modal logic
Demolombe, Robert and Herzig, Andreas and Varzinczak, Ivan
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.
PostScript
PostScript, gzipped
Note:
a preliminary version
(
PDF,
PostScript,
PostScript, gzipped)
has been presented at the workshop M4M-3.
https://www.irit.fr/~Andreas.Herzig