Guarded Transformation for the Modal mu-Calculus

Florian Bruse Oliver Friedmann Martin Lange

Published in: CoRR (2013)

Keyphrases

transition systems
fixed point
modal logic
linear transformation
database
machine learning
temporal logic
probabilistic databases
knowledge representation
model checking
query answering
development environment
formal language