On the Variable Hierarchy of the Modal µ-Calculus.

Dietmar Berwanger Erich Grädel Giacomo Lenzi

Published in: CSL (2002)

Keyphrases

user defined
machine learning
hierarchical structure
databases
high level
higher level
modal logic
lower level
transition systems
database
real time
information systems
knowledge base
wordnet
hierarchically organized