Keyphrases
- epistemic logic
- intuitionistic logic
- modal logic
- classical logic
- model checker
- model checking
- linear logic
- logical framework
- inference rules
- temporal logic
- natural deduction
- formal methods
- formal verification
- dynamic epistemic logic
- description language
- mathematical theory
- multi agent systems
- formal semantics
- multi faceted
- normal form
- proof theoretic
- ai planning
- formal specification
- test suite
- first order logic
- object oriented
- multi agent