Keyphrases
- computer algebra
- algebraic structure
- modal logic
- logic programming
- automated reasoning
- classical logic
- predicate logic
- multi valued
- epistemic logic
- dynamic logic
- asynchronous circuits
- abductive reasoning
- sound and complete axiomatization
- real time
- digital circuits
- computational properties
- logical framework
- natural language
- multiscale
- website
- data sets