Keyphrases
- modal logic
- nonmonotonic logics
- modal operators
- temporal logic
- classical logic
- inference rules
- logic programming
- automated reasoning
- default logic
- dynamic logic
- sound and complete axiomatization
- artificial intelligence
- delay insensitive
- epistemic logic
- computational properties
- logical framework
- set theory
- asynchronous circuits
- proof theory
- transition systems
- multi valued