Proof-Theoretic Contributions to Modal Fixed Point Logics

TitleProof-Theoretic Contributions to Modal Fixed Point Logics
Publication TypeHabilitation Thesis
Year of Publication2010
AuthorsStuder, T
URLhttp://www.iam.unibe.ch/ltgpub/2010/stu10b.pdf