Causal dynamic inference

DOI10.1007/s10472-012-9319-5zbMath1280.03025OpenAlexW2018809499WikidataQ130551778 ScholiaQ130551778MaRDI QIDQ1935591

Alexander Bochman, Dov M. Gabbay

Publication date: 18 February 2013

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/14986

zbMATH Keywords

causal reasoningdynamic reasoningsubstructural inference

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Nonmonotonic causal theories
• A causal approach to nonmonotonic reasoning
• Configuration structures, event structures and Petri nets
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Sequential dynamic logic
• Transition and cancellation in concurrency and branching time
• On the Logic of Information Flow
• Dynamic predicate logic

This page was built for publication: Causal dynamic inference