Boolean algebras of conditionals, probability and logic.
Tommaso FlaminioLluís GodoHykel HosniPublished in: Artif. Intell. (2020)
Keyphrases
- modal logic
- boolean logic
- conditional logic
- multi valued
- probability theory
- quantum computation
- proof theoretic
- probability distribution
- relation algebra
- real valued
- truth table
- logic programming
- belief revision
- logical framework
- distributive lattices
- classical logic
- nonmonotonic reasoning
- conditional probabilities
- deontic logic
- epistemic logic
- default rules
- formal theory
- topological spaces
- automated reasoning
- mathematical theory
- possibility theory
- neural network
- default reasoning
- default logic
- boolean functions
- temporal reasoning
- posterior probability
- expressive power
- logic programs
- bayesian networks
- artificial intelligence