Keyphrases
- propositional dynamic logic
- modal logic
- modal operators
- automated reasoning
- information retrieval
- truth values
- logic programming
- belief revision
- truth maintenance systems
- mental states
- probability theory
- dynamic logic
- classical logic
- natural deduction
- linear logic
- deontic logic
- epistemic logic
- computational properties
- logical framework
- belief functions
- decision making