Keyphrases
- epistemic logic
- model checking
- modal logic
- multi agent systems
- inference rules
- dynamic epistemic logic
- logical framework
- computation tree logic
- multi faceted
- formal semantics
- complex systems
- domain independent
- temporal logic
- orders of magnitude
- cooperative
- reverse engineering
- formal specification
- stable models
- software engineering