[FOM] Compactness theorem and mu-calculus

Cristian Prisacariu cristi at ifi.uio.no
Fri Feb 2 11:19:31 EST 2007


It is known that for Dynamic Logic the Compactness theorem does not
hold because of the * (iteration) operator.

What about the Compactness theorem for mu-calculus? Are there any
results? Can you please point me to some relevant references?

Thank you for your time!

Have a nice day from
Cristian Prisacariu
member of PMA group (Precise Modeling and Analysis)
at Dept. of Informatics, Univ. of Oslo
Also visit my home page at

More information about the FOM mailing list