Keyphrases
- modal operators
- probability theory
- modal logic
- belief revision
- probabilistic logic
- sound and complete axiomatization
- logic programming
- proof theory
- dynamic logic
- propositional dynamic logic
- logical framework
- conditional logic
- nonmonotonic logics
- algebraic structure
- proof theoretic
- epistemic logic
- truth maintenance systems
- belief functions
- sound and complete with respect
- probabilistic knowledge
- temporal logic
- default reasoning
- situation calculus
- model theoretic
- probabilistic reasoning
- propositional logic
- probability measures
- bayesian networks
- probabilistic model
- computational properties
- operational semantics
- automated reasoning
- higher order logic
- rewrite systems
- alternating time temporal logic
- probability function
- formal language
- classical logic
- logic programs
- description logics
- linear logic
- active rules
- possibility theory
- reasoning tasks
- rule engine
- belief change
- nonmonotonic reasoning
- deductive databases
- uncertain data
- generative model