A van Benthem Theorem for Quantitative Probabilistic Modal Logic.
Paul WildLutz SchröderDirk PattinsonBarbara KönigPublished in: CoRR (2018)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- bayesian networks
- probabilistic model
- nonmonotonic logics
- generative model
- conditional logic
- qualitative and quantitative
- epistemic logic
- uncertain data
- prime implicates
- situation calculus
- model checking
- dynamic logic
- probabilistic logic
- modal operators
- autoepistemic logic
- default logic
- explanation based generalization
- description logic alc