This is Greg Restall’s website, with news, writings, pictures, and links. For background see below.

Comparing Modal Sequent Systems

“Comparing Modal Sequent Systems,” in progress.

Labelled systems and display systems are very different generalisations of the pure sequent calculus, giving what appear to be quite different accounts of modal deduction. Display sequents are equipped with a rich “structural” vocabulary, allowing us to directly express modal facts in the punctuation of a sequent. Labelled sequents encode into the proof theory the structure of a Kripke model. Formulas are equipped with labels (effectively replacing formulas by predicates of worlds) and the accessibility relation from the model makes its appearance in the syntax of the sequent. In this paper, I show how derivations in display logic may be converted into derivations in a labelled sequent system, lending some support to the claim that a labelled sequent system need be no more expressive than a display system. Using this result, we may we may simplify a labelled proof theory further, so that the labels disappear and we are left with a different, structural sequent system for modal logics.

Details

Author: Greg Restall
Status: In Progress

Local file: comparingmodal.pdf (169KB)

Subjects: modal logic proofs sequents

About

I’m Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. Email: greg at consequently.org; Post: School of of Philosophy, Anthropology and Social Inquiry, University of Melbourne, Parkville 3010, Australia.

Start at the home page—a summary of the site. The left column is news, archived on the news archive page. The central column is for photos, archived on the occasional photos page. The right column contains recent items from the writing page, which lists my publications. These are also categorised by topic. You can follow my links at my account on delicious and occasional short snarky remarks at @consequently on twitter.

Current CO2 concentration in the atmosphere

To subscribe to this site, either read the full feed  of everything, the feed of news items only , or the feed of writing items only , which is also great for podcasting pdfs automatically.

This site is handcoded: I write text in Textmate, and Webby files things in the right place and uploads them to the server. This page was last modified on 2009-01-01 at 05:24PM.

Thought

In masculine hands logic is often a form of violence, a sly kind of tyrrany.
— Simone de Beauvoir The Second Sex.