Keyphrases
- modal logic
- multi valued
- logic programming
- protection scheme
- predicate logic
- automated reasoning
- classical logic
- computational properties
- sound and complete axiomatization
- digital circuits
- probability theory
- information security
- information retrieval
- data protection
- deontic logic
- asynchronous circuits
- natural deduction
- logic programs