On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic.

David Janin Igor Walukiewicz

Published in: CONCUR (1996)

Keyphrases

first order logic
proof procedure
monadic second order logic
propositional logic
expressive power
data model
query language
data management
context sensitive