Keyphrases
- modal logic
- nonmonotonic logics
- temporal logic
- classical logic
- dynamic logic
- modal operators
- functional dependencies
- databases
- predicate logic
- logical framework
- inference rules
- logic programming
- expressive power
- set theory
- multi agent
- information systems
- deontic logic
- real time
- transition systems
- propositional variables