@article{J31,
  Author =	 {Christoph Benzm{\"u}ller},
  Doi =		 {10.1007/s10992-016-9403-0},
  Journal =	 {Journal of Philosophical Logic},
  Volume =	 46,
  Number =	 3,
  Pages =	 {333-353},
  Keywords =	 {own, Conditional Logic, Cut-Elimination, Semantic
                  Embedding, DFG-2501-Selected, ERIH PLUS},
  Title =	 {Cut-Elimination for Quantified Conditional Logic},
  url_preprint = {https://www.researchgate.net/publication/293488069},
  Comment =	 {<a href="http://rdcu.be/npVQ">Springer Nature
                  Link</a>},
  Year =	 2017,
}

{"_id":"TFNDkkH6o4xSoo9G2","bibbaseid":"benzmller-cuteliminationforquantifiedconditionallogic-2017","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"doi":"10.1007/s10992-016-9403-0","journal":"Journal of Philosophical Logic","volume":"46","number":"3","pages":"333-353","keywords":"own, Conditional Logic, Cut-Elimination, Semantic Embedding, DFG-2501-Selected, ERIH PLUS","title":"Cut-Elimination for Quantified Conditional Logic","url_preprint":"https://www.researchgate.net/publication/293488069","comment":"<a href=\"http://rdcu.be/npVQ\">Springer Nature Link</a>","year":"2017","bibtex":"@article{J31,\n Author =\t {Christoph Benzm{\\\"u}ller},\n Doi =\t\t {10.1007/s10992-016-9403-0},\n Journal =\t {Journal of Philosophical Logic},\n Volume =\t 46,\n Number =\t 3,\n Pages =\t {333-353},\n Keywords =\t {own, Conditional Logic, Cut-Elimination, Semantic\n Embedding, DFG-2501-Selected, ERIH PLUS},\n Title =\t {Cut-Elimination for Quantified Conditional Logic},\n url_preprint = {https://www.researchgate.net/publication/293488069},\n Comment =\t {<a href=\"http://rdcu.be/npVQ\">Springer Nature\n Link</a>},\n Year =\t 2017,\n}\n\n","author_short":["Benzmüller, C."],"key":"J31","id":"J31","bibbaseid":"benzmller-cuteliminationforquantifiedconditionallogic-2017","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/293488069"},"keyword":["own","Conditional Logic","Cut-Elimination","Semantic Embedding","DFG-2501-Selected","ERIH PLUS"],"metadata":{"authorlinks":{}},"downloads":6},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","conditional logic","cut-elimination","semantic embedding","dfg-2501-selected","erih plus"],"search_terms":["cut","elimination","quantified","conditional","logic","benzmüller"],"title":"Cut-Elimination for Quantified Conditional Logic","year":2017,"downloads":6}