Keyphrases
- epistemic logic
- model checking
- modal logic
- formal specification
- formal verification
- inference rules
- dynamic epistemic logic
- model checker
- multi agent systems
- multi faceted
- temporal logic
- logical framework
- mathematical theory
- formal methods
- computation tree logic
- specification language
- formal semantics
- high level
- knowledge based systems
- software engineering
- training set
- learning algorithm