Keyphrases
- modal logic
- truth values
- normative systems
- multi agent systems
- inference rules
- temporal logic
- multi valued
- conceptual clustering
- classical logic
- epistemic logic
- sound and complete axiomatization
- database
- proof theory
- asynchronous circuits
- nonmonotonic logics
- defeasible logic
- automated reasoning
- logic programming
- knowledge base
- artificial intelligence
- learning algorithm