Rybakov, Vladimir Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. (English) Zbl 1209.03011 Theor. Comput. Sci. 411, No. 50, 4323-4332 (2010). MSC: 03B44 PDF BibTeX XML Cite \textit{V. Rybakov}, Theor. Comput. Sci. 411, No. 50, 4323--4332 (2010; Zbl 1209.03011) Full Text: DOI
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