Representing actions by State Logic
Camilla B. Schwind · 1978
The following paper presents a formal calculus interpreted by Kripke-type semantics for the description of the actions of an intelligent system, The frame problem is reduced to the logical problem of proving consistency.