Relational Hypersequents for Modal Logics
Samara Burns

October 5, 2018, 11:00am - 1:00pm
Logic Group, The University of Melbourne

212
Arts West
Parkville 3010
Australia

Organisers:

University of Melbourne

Details

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.)

Reminders

Registration

No

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.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.