Duality and the Completeness of the Modal mu-Calculus.

Simon Ambler Marta Z. Kwiatkowska Nicholas Measor

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

Keyphrases

modal logic
transition systems
linear programming
sequent calculus
nonmonotonic logics
real time
formal language
data quality
temporal logic
development environment
automated deduction
computer algebra
databases
bayesian networks
learning algorithm
machine learning
database