A modal logic for uncertainty: a completeness theorem.
Esther Anna CorsiTommaso FlaminioLluís GodoHykel HosniPublished in: ISIPTA (2023)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- classical logic
- conditional logic
- nonmonotonic logics
- default logic
- decision theory
- uncertain data
- model checking
- sequent calculus
- von neumann
- situation calculus
- probability theory
- dynamic logic
- prime implicates
- machine learning
- explanation based generalization
- modal operators
- robust optimization
- desirable properties
- probability distribution
- artificial intelligence