The Modal µ-Calculus Alternation Hierarchy is Strict.

Julian C. Bradfield

Published in: Theor. Comput. Sci. (1998)

Keyphrases

transition systems
modal logic
hierarchical structure
higher level
lower level
computer algebra
database
real time
search engine
inference rules
hierarchical structures
hierarchical organization
provably correct
tableau calculus