On closure ordinals for the modal mu-calculus.
Bahareh AfshariGraham E. LeighPublished in: CSL (2013)
Keyphrases
- modal logic
- transition systems
- knuth bendix
- nonmonotonic logics
- term rewriting
- algebraic structure
- automated deduction
- relational calculus
- formal language
- development environment
- model checking
- databases
- real time
- logic programming
- case study
- web services
- natural deduction
- website
- provably correct
- computer algebra
- sequent calculus
- artificial intelligence
- data mining