References of "Bochman, Alexander"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailSequential Dynamic Logic
Bochman, Alexander; Gabbay, Dov M. UL

in Journal of Logic, Language and Information (2012), 21(3), 279--298

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailCausal dynamic inference
Bochman, Alexander; Gabbay, Dov M. UL

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 231-256

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 ... [more ▼]

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. [less ▲]

Detailed reference viewed: 50 (4 UL)