Search: J31
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) (Preprint: https://www.researchgate.net/publication/293488069) [bibtex] [doi]