Cut-free axiomatizations for stratified modal fixed point logic

TitleCut-free axiomatizations for stratified modal fixed point logic
Publication TypeConference Paper
Year of Publication2005
AuthorsJäger, G, Kretz, M, Studer, T
EditorSchlingloff, H
Conference NameProceedings of Methods for Modalities 4
Pagination125-143
PublisherHumboldt-Universität Berlin
URLhttp://www.iam.unibe.ch/ltgpub/2005/jks05.pdf