Regression in Modal Logic
Robert Demolombe, Andreas Herzig, Ivan Jose ́ Varzinczak · Journal of Applied Non-Classical Logics · 2003
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.