On the proof theory of the modal mu-calculus

TitleOn the proof theory of the modal mu-calculus
Publication TypeJournal Article
Year of Publication2008
AuthorsStuder, T
JournalStudia Logica
Volume89
Pagination343-363
URLhttp://www.iam.unibe.ch/ltgpub/2008/stu08.pdf
DOI10.1007/s11225-008-9133-6