Relational Hypersequents for Modal Logics

Samara Burns

Samara Burns (Calgary) will present "Relational Hypersequents for Modal Logics" remotely at 11 on 5 October in Arts West 212 West Wing.

Abstract: This talk will center around a recently developed extension of the sequent calculus called relational hypersequents. This framework provides a cohesive proof-theory for the modal logics K, T, B, D, S4 and S5. I will begin by discussing some of the basic properties of these systems, comparing them to more familiar Gentzen-style proof systems for modal logics. In particular, relational hypersequents have a close connection to traditional sequent calculi, linear nested sequents and tree hypersequents. I will then show that the relational hypersequent systems for K, T, D and S5 are cut-free complete, and discuss the issues that arise when adapting the proof for B and S4.