Keyphrases
- higher order
- logic programming
- theorem proving
- asynchronous circuits
- proof theory
- modal logic
- multi valued
- classical logic
- predicate logic
- automated theorem proving
- probabilistic logic
- knuth bendix
- linear temporal logic
- epistemic logic
- defeasible logic
- logical framework
- real time
- programming language
- expert systems
- database systems
- decision trees