Expressiveness of Probabilistic Modal Logics, Revisited.
Nathanaël FijalkowBartek KlinPrakash PanangadenPublished in: ICALP (2017)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- epistemic logic
- expressive power
- classical logic
- bayesian networks
- model checking
- default logic
- uncertain data
- autoepistemic logic
- generative model
- probabilistic model
- theorem proving
- incomplete information
- logic programming
- model theoretic
- data management