@article(DBLP:journals/corr/abs-0910-3383,
 author       = "David Baelde",
 year         = "2009",
 title        = "Least and greatest fixed points in linear logic",
 journal      = "CoRR",
 volume       = "abs/0910.3383v4",
 url          = "http://arxiv.org/abs/0910.3383v4",
)
@article(bs09b,
 author       = "Kai Br{\"u}nnler and Thomas Studer",
 year         = "2009",
 title        = "Syntactic cut-elimination for common knowledge",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "160",
 number       = "1",
 pages        = "82--95",
 doi          = "10.1016/j.apal.2009.01.014",
)
@misc(bs11,
 author       = "Kai Br{\"u}nnler and Thomas Studer",
 year         = "preprint",
 title        = "Syntactic cut-elimination for a fragment of the modal mu-calculus",
)
@incollection(buchholz81,
 author       = "Wilfried Buchholz",
 year         = "1981",
 title        = "The {$\Omega _{\mu +1}$}-rule",
 editor       = "Wilfried Buchholz and Solomon Feferman and Wolfram Pohlers and Wilfried Sieg",
 booktitle    = "Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof Theoretic Studies",
 series       = "Lecture Notes in Mathematics",
 volume       = "897",
 publisher    = "Springer",
 pages        = "189--233",
 doi          = "10.1007/BFb0091898",
)
@article(buchholz01,
 author       = "Wilfried Buchholz",
 year         = "2001",
 title        = "Explaining the {G}entzen-{T}akeuti reduction steps: a second-order system",
 journal      = "Archive for Mathematical Logic",
 volume       = "40",
 number       = "4",
 pages        = "255--272",
 doi          = "10.1007/s001530000064",
)
@book(buschue88,
 author       = "Wilfried Buchholz and Kurt Sch\"utte",
 year         = "1988",
 title        = "Proof Theory of Impredicative Subsystems of Analysis",
 publisher    = "Bibliopolis",
)
@article(hipo10,
 author       = "Brian Hill and Francesca Poggiolesi",
 year         = "2010",
 title        = "A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic",
 journal      = "Studia Logica",
 volume       = "94",
 number       = "1",
 pages        = "47--72",
 doi          = "10.1007/s11225-010-9224-z",
)
@article(jks:mu,
 author       = "Gerhard J{\"a}ger and Mathis Kretz and Thomas Studer",
 year         = "2008",
 title        = "Canonical completeness for infinitary $\mu $",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "76",
 number       = "2",
 pages        = "270--292",
 doi          = "10.1016/j.jlap.2008.02.005",
)
@article(js11,
 author       = "Gerhard J{\"a}ger and Thomas Studer",
 year         = "2011",
 title        = "A {B}uchholz rule for modal fixed point logics",
 journal      = "Logica Universalis",
 volume       = "5",
 pages        = "1--19",
 doi          = "10.1007/s11787-010-0022-1",
)
@article(koz88,
 author       = "Dexter Kozen",
 year         = "1988",
 title        = "A finite model theorem for the propositional $\mu $--calculus",
 journal      = "Studia Logica",
 volume       = "47",
 number       = "3",
 pages        = "233--241",
 doi          = "10.1007/BF00370554",
)
@article(mintsMu,
 author       = "Grigori Mints",
 year         = "to appear",
 title        = "Effective Cut-elimination for a fragment of Modal mu-calculus",
 journal      = "Studia Logica",
)
@inproceedings(Pliuskevicius91,
 author       = "Regimantas Pliuskevicius",
 year         = "1991",
 title        = "Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus",
 booktitle    = "Baltic Computer Science, Selected Papers",
 publisher    = "Springer",
 pages        = "504--528",
 doi          = "10.1007/BFb0019366",
)
@book(takeuti87,
 author       = "Gaisi Takeuti",
 year         = "1987",
 title        = "Proof Theory",
 publisher    = "North-Holland",
)
@article(DBLP:journals/corr/abs-1009-6171,
 author       = "Alwen Tiu and Alberto Momigliano",
 year         = "2010",
 title        = "Cut Elimination for a Logic with Induction and Co-induction",
 journal      = "CoRR",
 volume       = "abs/1009.6171v1",
 url          = "http://arxiv.org/abs/1009.6171v1",
)