Keyphrases
- modal logic
- logic programming
- digital circuits
- sound and complete axiomatization
- predicate logic
- classical logic
- multi valued
- propositional dynamic logic
- defeasible logic
- automated reasoning
- programming language
- database
- probabilistic model
- computational properties
- similarity measure
- real world
- neural network
- formal theory
- proof theory
- deductive reasoning
- databases
- data sets