Prolegomena of a Logic of Causality and Dynamism.
Patrick BellotJ.-P. CottinBernard J. RobinetDjamil SarniJ. LeneutreEmmanuel ZarpasPublished in: Stud Logica (1999)
Keyphrases
- causal reasoning
- logic programming
- automated reasoning
- real time
- proof theory
- modal logic
- information systems
- classical logic
- asynchronous circuits
- query language
- expert systems
- natural language
- causal relationships
- nonmonotonic reasoning
- case study
- multi valued
- probabilistic logic
- computational properties
- formal theory
- dynamic logic
- database
- delay insensitive