Keyphrases
- classical logic
- modal logic
- functional analysis
- predicate logic
- logic programming
- multi valued
- order sorted
- real time
- proof theory
- asynchronous circuits
- automated reasoning
- search algorithm
- computational properties
- defeasible logic
- case study
- deontic logic
- information systems
- artificial intelligence
- neural network
- delay insensitive
- databases