Keyphrases
- classical logic
- general purpose
- programming language
- logic programming
- modal logic
- digital circuits
- constraint language
- logical framework
- programs written
- software systems
- automated reasoning
- computational properties
- probabilistic logic
- functional analysis
- epistemic logic
- formal theory
- data sets
- source code
- databases