Causal dynamic inference
From MaRDI portal
Publication:1935591
DOI10.1007/s10472-012-9319-5zbMath1280.03025MaRDI 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
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Uses Software
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