A Notion of Coherence for Books on Conditional Events in Many-valued Logic.
Franco MontagnaPublished in: J. Log. Comput. (2011)
Keyphrases
- modal logic
- conditional logic
- truth values
- computational properties
- nonmonotonic inference
- event detection
- classical logic
- logic programming
- multi valued
- temporal logic
- inference rules
- causal knowledge
- nonmonotonic reasoning
- nonmonotonic logics
- default reasoning
- temporal patterns
- conceptual clustering
- event sequences
- event recognition
- belief revision
- conditional probabilities
- model theoretic
- formal theory
- proof theory
- rough sets