[Alta-Logic] Samara Burns: Relational Hypersequent Calculi for Modal Logics (Monday 15:00 SS 1253)

[Richard Zach]

Samara Burns (Philosophy) will speak on her MA research tomorrow, Monday 
April 2, 15:00 in 1253 SS

Relational Hypersequent Calculi for Modal Logics

Relational hypersequents are a recent development in the proof theory of 
modal logics. The relational hypersequent framework takes sequences of 
sequents and interprets them as a branch of possible world-states. In 
these systems, two rules govern the behaviour of the modal operator, 
while variation between modal systems occurs in the presence or absence 
of structural rules. In this way, relational hypersequents are able to 
provide a unified proof-theoretic treatment of the modal logic K and its 
extensions T, B, D, S4 and S5. I will introduce the relational 
hypersequent framework and talk about some of its important features 
before presenting a new completeness proof for K.

-- 
Richard Zach ...... http://www.ucalgary.ca/rzach/
Professor,             Department  of  Philosophy
University of Calgary, Calgary AB T2N 1N4, Canada