Causal dynamic inference (bibtex)
by A. Bochman, D. M. Gabbay
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.\text[D?]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.
Reference:
Causal dynamic inference (A. Bochman, D. M. Gabbay), In , Springer, 2012.
Bibtex Entry:
@Article{10993/14986,
  Title                    = {Causal dynamic inference},
  Author                   = {Bochman, A. and Gabbay, D. M.},
  Year                     = {2012},

  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.\text{[D?]}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.},
  Publisher                = {Springer},
  Timestamp                = {2015.01.26}
}
Powered by bibtexbrowser