Syntactic cut-elimination for a fragment of the modal mu-calculus

TitleSyntactic cut-elimination for a fragment of the modal mu-calculus
Publication TypeJournal Article
Year of Publication2012
AuthorsBrünnler, K, Studer, T
JournalAnnals of Pure and Applied Logic
Volume163
Pagination1838-1853
URLhttp://www.iam.unibe.ch/ltgpub/2012/bs12.pdf