(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
Rolf HennickerAlexander KurzPublished in: CMCS (1999)
Keyphrases
- delay insensitive
- asynchronous circuits
- logic programming
- modal logic
- transition systems
- bounded model checking
- algebraic structure
- linear time temporal logic
- formal language
- computer algebra
- proof theoretic
- higher order
- predicate logic
- model checker
- operational semantics
- proof theory
- classical logic
- concurrent systems
- written in natural language
- recursive programs
- tableau calculus
- formal descriptions
- high level
- logical formulas
- natural deduction
- digital circuits
- mathematical theory
- logical framework
- automated reasoning
- formal specification