Causal dynamic inference

Abstract

We suggest a general logical framework for causal dynamic reasoning. As a first step, we introduce a uniform structural formalism and assign it two kinds of semantics, abstract dynamic models and relational models. The corresponding completeness results are proved. As a second step, we extend the structural formalism to a two-sorted state-transition calculus, and prove its completeness with respect to the associated relational semantics.

Sequential Dynamic Logic

“…As a matter of fact, the above rule is a logical counterpart of the structural Cut rule involved in the description of a more basic, structural counterpart of our calculus [described in Bochman and Gabbay (2010)]. Accordingly, this rule cannot be derived using only the rules of conjunction.…”