[FOM] Compactness theorem and mu-calculus

[Cristian Prisacariu]

Hello,

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
http://www.ifi.uio.no/forskning/grupper/pma/
Also visit my home page at
http://www.ifi.uio.no/~cristi
-----------------------------------------------------------------