Keyphrases
- epistemic logic
- expressive power
- propositional dynamic logic
- modal logic
- provably correct
- classical logic
- modal operators
- databases
- model checking
- inference rules
- kripke models
- computer programs
- logical framework
- automatic programming
- dynamic logic
- logic program updates
- dynamic epistemic logic
- answer sets
- multi agent systems