BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260914T222211Z
DTSTART;TZID=Australia/Melbourne:20181005T070000
DTEND;TZID=Australia/Melbourne:20181005T090000
SUMMARY:Relational Hypersequents for Modal Logics
UID:20260914T222211Z-iCalPlugin-Grails@fe80:0:0:0:dcf7:d8ff:fe11:7ebf%3
TZID:Australia/Melbourne
LOCATION:Arts West\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Samara Burns (Calgary) will present "Relational Hypersequents for Modal Logics" remotely at 11 on 5 October in Arts West 212 West Wing.</p>\n<p>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.</p>\n&nbsp\;
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR