BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260612T215550Z DTSTART;TZID=Australia/Melbourne:20150515T070000 DTEND;TZID=Australia/Melbourne:20150515T090000 SUMMARY:A hypersequent approach to modal logic UID:20260614T003310Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm TZID:Australia/Melbourne LOCATION:757 Swanston Street\, Melbourne\, Australia\, 3010 DESCRIPTION:

Several hypersequent accounts of modality have been presented (see Avron (1991)\; Restall (2009)\; Lellmann (2014)\; Lahav (2013)). This paper develops several hypersequent systems of modal logic. In particular systems K\, D\, T\, S4\, B\, and S5 are given. S5 is the same hypersequent system given in Restall (2009). The other systems are generated from this by restricting the external structural rules of the calculus. In this sense\, the calculi mirror the standard possible world account of modality: the different systems are generated by restricting structural features modal frames as opposed to the rules explicitly governing the modal operators. Cut Elimination has been proved for K and D\, and Cut admissibility for S5 is proved by Restall (2009). The paper concludes by considering the results of adding different accounts of first-order quantification to the calculus. \;

ORGANIZER: METHOD:PUBLISH END:VEVENT END:VCALENDAR