Strictness of the Modal µ-Calculus Hierarchy.

Published in: Automata, Logics, and Infinite Games (2001)

Keyphrases

modal logic
transition systems
higher level
knowledge representation
lower level
multiscale
provably correct
real time
data sets
website
clustering algorithm
logic programs
hierarchical structure
concept hierarchy
class hierarchy
topic hierarchy