Keyphrases
- linear logic
- kripke models
- modal logic
- inference rules
- sequent calculus
- fixed point
- cut elimination
- multi agent
- proof theoretic
- logic programming
- logical framework
- desirable properties
- action theories
- proof search
- temporal logic
- decision procedures
- intuitionistic logic
- situation calculus
- classical logic
- default logic
- artificial intelligence
- stereo matching
- random variables
- high level