Keyphrases
- modal logic
- operational semantics
- decision procedures
- temporal logic
- formal semantics
- inference rules
- model theoretic
- epistemic logic
- mental states
- data model
- nonmonotonic logics
- classical logic
- situation calculus
- conditional logic
- denotational semantics
- dynamic logic
- declarative semantics
- activity diagrams
- autoepistemic logic
- prime implicates
- model checking
- agent programming
- explanation based generalization
- default logic
- software engineering
- expert systems
- cooperative
- multi agent
- artificial intelligence