Keyphrases
- modal operators
- probability theory
- truth values
- logic programming
- belief revision
- belief functions
- multi valued
- classical logic
- deception detection
- logical framework
- automated reasoning
- modal logic
- natural deduction
- incomplete information
- mental states
- description logics
- computational properties
- defeasible logic
- nonmonotonic logics
- predicate logic
- qualitative and quantitative
- epistemic logic
- probability measures
- sound and complete axiomatization