Epistemic Probability Logic Simplified.
Jan van EijckFrançois SchwarzentruberPublished in: Advances in Modal Logic (2014)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- probability theory
- modal logic
- belief change
- modal operators
- probability distribution
- model checking
- classical logic
- logic programming
- propositional dynamic logic
- neural network
- inference rules
- set theory
- artificial intelligence
- knowledge base
- predicate logic
- logical framework
- learning environment
- posterior probability
- belief revision
- theoretical framework
- logic programs