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) (Url (preprint): http://christoph-benzmueller.de/papers/J31.pdf) [bibtex] [doi]
Powered by bibtexbrowser