Keyphrases
- modal logic
- truth values
- inference rules
- temporal logic
- classical logic
- epistemic logic
- logical framework
- desirable properties
- multi valued
- asynchronous circuits
- abductive reasoning
- nonmonotonic logics
- modal operators
- defeasible logic
- real world
- valued logic
- delay insensitive
- logic programming
- computational properties
- natural deduction
- kripke models
- predicate logic
- set theory
- automated reasoning
- situation calculus
- deductive databases
- model checking
- fuzzy logic