Search: Cut-Elimination For Quantified Conditional Logic
2017
[1] 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] [pdf] [doi]
Powered by bibtexbrowser