Keyphrases
- linear logic
- sequent calculus
- fixed point
- modal logic
- inference rules
- temporal logic
- propositional logic
- nonmonotonic logics
- sufficient conditions
- default logic
- logic programming
- logical framework
- classical logic
- dynamical systems
- pairwise
- dynamic programming
- database
- artificial intelligence
- situation calculus
- genetic algorithm
- databases