Cut-Elimination for Quantified Conditional Logic (bibtex)
by Christoph Benzmüller
Reference:
Cut-Elimination for Quantified Conditional Logic (Christoph Benzmüller), In Journal of Philosophical Logic, volume 46, number 3, pp. 333-353, 2017. (Springer Nature Link)
Bibtex Entry:
@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 =		 {http://christoph-benzmueller.de/papers/J31.pdf},
  Comment =	 {<a href="http://rdcu.be/npVQ"
                  target="_blank">Springer Nature Link</a>},
  Year =	 2017,
}
Powered by bibtexbrowser