Keyphrases
- contextual information
- logic programming
- multi valued
- modal logic
- mental models
- classical logic
- website
- context sensitive
- logical framework
- computational properties
- asynchronous circuits
- predicate logic
- sound and complete axiomatization
- propositional dynamic logic
- proof theory
- digital circuits
- defeasible logic
- automated reasoning
- context dependent
- natural language