Generic Modal Cut Elimination Applied to Conditional Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dirk Pattinson, Lutz SchrÃ¶der. Generic Modal Cut Elimination Applied to Conditional Logics. In Martin Giese, Arild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Volume 5607 of Lecture Notes in Computer Science, pages 280-294, Springer, 2009. [doi]

This author has not been identified. Look up 'Dirk Pattinson' in GoogleThis author has not been identified. Look up 'Lutz SchrÃ¶der' in Google

runs on WebDSL