D’agostino, Giovanna; Lenzi, Giacomo On the \(\mu \)-calculus over transitive and finite transitive frames. (English) Zbl 1208.68145 Theor. Comput. Sci. 411, No. 50, 4273-4290 (2010). MSC: 68Q60 03B45 PDF BibTeX XML Cite \textit{G. D'agostino} and \textit{G. Lenzi}, Theor. Comput. Sci. 411, No. 50, 4273--4290 (2010; Zbl 1208.68145) Full Text: DOI
Zakhar’yashchev, Mikhail Canonical formulas for K4. I: Basic results. (English) Zbl 0774.03005 J. Symb. Log. 57, No. 4, 1377-1402 (1992). Reviewer: S.Miura (Okazaki / Aichi) MSC: 03B45 PDF BibTeX XML Cite \textit{M. Zakhar'yashchev}, J. Symb. Log. 57, No. 4, 1377--1402 (1992; Zbl 0774.03005) Full Text: DOI