Keyphrases
- classical logic
- high level
- propositional dynamic logic
- modal logic
- categorical data
- proof theory
- higher level
- logic programming
- database
- multi valued
- sound and complete axiomatization
- asynchronous circuits
- deontic logic
- abductive reasoning
- automated reasoning
- low level
- neural network
- epistemic logic
- decision trees
- databases
- real time