A Buchholz rule for modal fixed point logics

TitleA Buchholz rule for modal fixed point logics
Publication TypeJournal Article
Year of Publication2011
AuthorsJäger, G, Studer, T
JournalLogica Universalis
Volume5
Issue1
Pagination1-19
URLhttp://www.iam.unibe.ch/ltgpub/2011/js11.pdf
DOI10.1007/s11787-010-0022-1