On Duality for the Modal µ-Calculus.

Simon Ambler Marta Z. Kwiatkowska Nicholas Measor

Published in: CSL (1993)

Keyphrases

transition systems
linear programming
modal logic
nonmonotonic logics
neural network
multiscale
temporal logic
formal language
relational calculus
genetic algorithm
knowledge base
bayesian networks
automated deduction
algebraic structure