Proof-Theoretic Aspects of Modal Logic with Fixed Points

TitleProof-Theoretic Aspects of Modal Logic with Fixed Points
Publication TypePhD Thesis
Year of Publication2006
AuthorsKretz, M
URLhttp://www.iam.unibe.ch/ltgpub/2006/kre06.pdf