On modal mu-calculus with explicit interpolants.

Giovanna D'Agostino Giacomo Lenzi

Published in: J. Appl. Log. (2006)

Keyphrases

transition systems
modal logic
real world
case study
development environment
search engine
knowledge base
multi agent
algebraic structure
provably correct