HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato. HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). In Nicolas Peltier, Viorica Sofronie-Stokkermans, editors, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. Volume 12167 of Lecture Notes in Computer Science, pages 378-387, Springer, 2020. [doi]

This author has not been identified. Look up 'Tiziano Dalmonte' in GoogleThis author has not been identified. Look up 'Nicola Olivetti' in GoogleThis author has not been identified. Look up 'Gian Luca Pozzato' in Google

runs on WebDSL