Keyphrases
- epistemic logic
- knowledge management
- modal logic
- model checking
- multi agent systems
- dynamic epistemic logic
- logical framework
- inference rules
- computation tree logic
- e learning
- multi faceted
- mathematical theory
- temporal logic
- decision making
- case study
- information systems
- information technology
- software development
- software engineering
- formal semantics
- object oriented
- cooperative
- multi agent