LILaC - paper abstract

Regression in modal logic

Demolombe, Robert and Herzig, Andreas and Varzinczak, Ivan


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, gzipped

Note: a preliminary version ( PDF, PostScript, PostScript, gzipped) has been presented at the workshop M4M-3.