Sequent calculi for the modal $μ$-calculus over $\mathsf {S5}$

TitleSequent calculi for the modal $μ$-calculus over $\mathsf {S5}$
Publication TypeJournal Article
Year of Publication2009
AuthorsAlberucci, L
JournalJournal of Logic and Computation
URLhttp://www.iam.unibe.ch/ltgpub/2009/alb09.pdf