@PhdThesis{buc12,
  Author         = {Bucheli, Samuel},
  Title          = {{J}ustification Logics with {C}ommon {K}nowledge},
  School         = {Universit\"at Bern},
  Address        = {Institut f\"ur Informatik und angewandte Mathematik},
  url            = {2012/buc12.pdf},
  year           = 2012
}

{"_id":"mgZFREhbAMnfJCLku","bibbaseid":"bucheli-justificationlogicswithcommonknowledge-2012","authorIDs":[],"author_short":["Bucheli, S."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Bucheli"],"firstnames":["Samuel"],"suffixes":[]}],"title":"Justification Logics with Common Knowledge","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"2012/buc12.pdf","year":"2012","bibtex":"@PhdThesis{buc12,\n Author = {Bucheli, Samuel},\n Title = {{J}ustification Logics with {C}ommon {K}nowledge},\n School = {Universit\\\"at Bern},\n Address = {Institut f\\\"ur Informatik und angewandte Mathematik},\n url = {2012/buc12.pdf},\n year = 2012\n}\n\n","author_short":["Bucheli, S."],"key":"buc12","id":"buc12","bibbaseid":"bucheli-justificationlogicswithcommonknowledge-2012","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2012/buc12.pdf"},"downloads":0},"bibtype":"phdthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.062Z","downloads":0,"keywords":[],"search_terms":["justification","logics","common","knowledge","bucheli"],"title":"Justification Logics with Common Knowledge","year":2012,"dataSources":["jFQMeatnEb8qn3qdH"]}