Keyphrases
- expressive power
- modal logic
- theorem prover
- nonmonotonic logics
- inference rules
- propositional dynamic logic
- higher order
- real time
- propositional calculus
- logic programming
- knowledge representation
- decision making
- social networks
- databases
- theorem proving
- computational properties
- intermediate level
- proof theory
- proof theoretic
- knuth bendix
- database