Nicola Olivetti, Nikola Panic, Gian Luca Pozzato. Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. In Agostino Dovier, Angelo Montanari, Andrea Orlandini, editors, AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings. Volume 13796 of Lecture Notes in Computer Science, pages 345-357, Springer, 2022. [doi]
Abstract is missing.