Simplifying the Modal Mu-Calculus Alternation Hierarchy.

Julian C. Bradfield

Published in: STACS (1998)

Keyphrases

modal logic
transition systems
hierarchical structure
development environment
artificial intelligence
nonmonotonic logics
data sets
databases
genetic algorithm
tree structure
lower level
hierarchical structures
formal language
automated theorem proving