From worlds to probabilities: A probabilistic semantics for modal logic.
Charles B. CrossPublished in: J. Philos. Log. (1993)
Keyphrases
- modal logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- inference rules
- probability theory
- dynamic logic
- modal operators
- kripke models
- decision procedures
- temporal logic
- autoepistemic logic
- model theoretic
- conditional probabilities
- belief networks
- classical logic
- description logic alc
- default logic
- probabilistic model
- probability distribution
- joint probability
- logical framework
- logic programming
- model checking
- formal semantics
- explanation based generalization
- probabilistic logic programs
- prime implicates
- default reasoning
- situation calculus
- prior probabilities
- probabilistic logic
- posterior probability