Regression in modal logic

Robert Demolombe (1) , Andreas Herzig (2, 3) , Ivan Varzinczak (2)

1 ONERA - The French Aerospace Lab [Toulouse]
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: frame problem; action; reasoning about actions; regression; modal logic; dependence

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Robert Demolombe, Andreas Herzig, Ivan Varzinczak. Regression in modal logic. Workshop Methods for Modalities (M4M 2003), Sep 2003, Nancy, France. pp.165-185, ⟨10.3166/jancl.13.165-185⟩. ⟨hal-03534096⟩