Keyphrases
- modal operators
- belief revision
- truth values
- modal logic
- probability theory
- logic programming
- multi valued
- predicate logic
- sound and complete axiomatization
- logical framework
- classical logic
- belief functions
- information retrieval
- dynamic logic
- expected utility
- belief state
- computational properties
- inference rules
- artificial intelligence
- deontic logic
- asynchronous circuits
- proof theory
- databases