@TechReport{as92,
  Author         = {Sergei Artemov and Tyko Strassen},
  Title          = {{The Basic Logic of Proofs}},
  Institution    = {Institut f{\"u}r Informatik und angewandte Mathematik},
  Number         = {iam--92--018},
  abstract       = "Propositional Provability Logic was axiomatized
                   in~[Sol76]. This logic describes the behaviour of the
                   arithmetical operator ``$y$~is provable''. The aim of
                   the current paper is to provide propositional
                   axiomatizations of the predicate ``$x$~is a proof
                   of~$y$'' by means of modal logic, with the intention of
                   meeting some of the needs of computer science.",
  url            = {http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018},
  year           = 1992
}

{"_id":"7ZAChXTcB4ox4ZAo3","bibbaseid":"artemov-strassen-thebasiclogicofproofs-1992","authorIDs":[],"author_short":["Artemov, S.","Strassen, T."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Sergei"],"propositions":[],"lastnames":["Artemov"],"suffixes":[]},{"firstnames":["Tyko"],"propositions":[],"lastnames":["Strassen"],"suffixes":[]}],"title":"The Basic Logic of Proofs","institution":"Institut für Informatik und angewandte Mathematik","number":"iam–92–018","abstract":"Propositional Provability Logic was axiomatized in~[Sol76]. This logic describes the behaviour of the arithmetical operator ``$y$~is provable''. The aim of the current paper is to provide propositional axiomatizations of the predicate ``$x$~is a proof of~$y$'' by means of modal logic, with the intention of meeting some of the needs of computer science.","url":"http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018","year":"1992","bibtex":"@TechReport{as92,\n Author = {Sergei Artemov and Tyko Strassen},\n Title = {{The Basic Logic of Proofs}},\n Institution = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n Number = {iam--92--018},\n abstract = \"Propositional Provability Logic was axiomatized\n in~[Sol76]. This logic describes the behaviour of the\n arithmetical operator ``$y$~is provable''. The aim of\n the current paper is to provide propositional\n axiomatizations of the predicate ``$x$~is a proof\n of~$y$'' by means of modal logic, with the intention of\n meeting some of the needs of computer science.\",\n url = {http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018},\n year = 1992\n}\n\n","author_short":["Artemov, S.","Strassen, T."],"key":"as92","id":"as92","bibbaseid":"artemov-strassen-thebasiclogicofproofs-1992","role":"author","urls":{"Paper":"http://www.iam.unibe.ch/publikationen/techreports/1992/iam-92-018"},"downloads":0},"bibtype":"techreport","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.074Z","downloads":0,"keywords":[],"search_terms":["basic","logic","proofs","artemov","strassen"],"title":"The Basic Logic of Proofs","year":1992,"dataSources":["jFQMeatnEb8qn3qdH"]}