@InProceedings{jks05,
  Author         = {Gerhard J{\"a}ger and Mathis Kretz and Thomas Studer},
  Title          = {Cut-free axiomatizations for stratified modal fixed
                   point logic},
  BookTitle      = {Proceedings of Methods for Modalities 4},
  Editor         = {Holger Schlingloff},
  Volume         = {194},
  Series         = {Humboldt-Universit{\"a}t Berlin Informatik-Berichte},
  Pages          = {125{--}143},
  Publisher      = {Humboldt-Universit{\"a}t Berlin},
  url            = {2005/jks05.pdf},
  year           = 2005
}

{"_id":"5ruMCc38atSCFRnGR","bibbaseid":"jger-kretz-studer-cutfreeaxiomatizationsforstratifiedmodalfixedpointlogic-2005","authorIDs":[],"author_short":["Jäger, G.","Kretz, M.","Studer, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]},{"firstnames":["Mathis"],"propositions":[],"lastnames":["Kretz"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Studer"],"suffixes":[]}],"title":"Cut-free axiomatizations for stratified modal fixed point logic","booktitle":"Proceedings of Methods for Modalities 4","editor":[{"firstnames":["Holger"],"propositions":[],"lastnames":["Schlingloff"],"suffixes":[]}],"volume":"194","series":"Humboldt-Universität Berlin Informatik-Berichte","pages":"125–143","publisher":"Humboldt-Universität Berlin","url":"2005/jks05.pdf","year":"2005","bibtex":"@InProceedings{jks05,\n Author = {Gerhard J{\\\"a}ger and Mathis Kretz and Thomas Studer},\n Title = {Cut-free axiomatizations for stratified modal fixed\n point logic},\n BookTitle = {Proceedings of Methods for Modalities 4},\n Editor = {Holger Schlingloff},\n Volume = {194},\n Series = {Humboldt-Universit{\\\"a}t Berlin Informatik-Berichte},\n Pages = {125{--}143},\n Publisher = {Humboldt-Universit{\\\"a}t Berlin},\n url = {2005/jks05.pdf},\n year = 2005\n}\n\n","author_short":["Jäger, G.","Kretz, M.","Studer, T."],"editor_short":["Schlingloff, H."],"key":"jks05","id":"jks05","bibbaseid":"jger-kretz-studer-cutfreeaxiomatizationsforstratifiedmodalfixedpointlogic-2005","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2005/jks05.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.084Z","downloads":0,"keywords":[],"search_terms":["cut","free","axiomatizations","stratified","modal","fixed","point","logic","jäger","kretz","studer"],"title":"Cut-free axiomatizations for stratified modal fixed point logic","year":2005,"dataSources":["jFQMeatnEb8qn3qdH"]}