The Modal mu-calculus Alternation Hierarchy is Strict.

Julian C. Bradfield

Published in: CONCUR (1996)

Keyphrases

modal logic
transition systems
higher level
hierarchical organization
genetic algorithm
search engine
development environment
hierarchical structures
type checking
class hierarchy
hierarchically organized
topic hierarchy