University of Birmingham > Talks@bham > Theoretical computer science seminar > On the proof theory of conditional logics

On the proof theory of conditional logics

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Anupam Das.

Conditional logics extend the language of classical propositional logic by means of a two-places modal operator which can be used to express, among others, counterfactual sentences or non-monotonic inferences.

In this talk I will introduce the proof theory of conditional logics by taking as case study the logic VC, introduced by David Lewis to model counterfactuals. I will present two proof systems for the logic: a labelled sequent calculus, which explicitly introduces in the syntax some information coming from the models for VC, and a sequent calculus obtained by enriching the structure of sequents. I will conclude by underlying the relationship between VC and classical modal logics.

This talk is based my PhD thesis: https://hal.archives-ouvertes.fr/tel-02077109

Zoom link: https://bham-ac-uk.zoom.us/j/84742014441?pwd=Z0IvWEpXb0dwYW9Id3d0MXB0TVZFUT09

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.