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.


PDF

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