Causal dynamic inference

Alexander Bochman, Dov M. Gabbay

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)231-256
Number of pages26
JournalAnnals of Mathematics and Artificial Intelligence
Issue number1
StatePublished - Dec 2012


  • Causal reasoning
  • Dynamic reasoning
  • Substructural inference


Dive into the research topics of 'Causal dynamic inference'. Together they form a unique fingerprint.

Cite this