Relational Hypersequents for Modal Logics
Samara Burns

October 5, 2018, 7:00am - 9:00am
Logic Group, The University of Melbourne

Arts West
Parkville 3010


National Taiwan University


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.


Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.