On the proof theory of conditional logics

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

• Marianna Girlando. University of Birmingham.
• Friday 12 March 2021, 14:00-15:00
• Zoom link at the bottom of the abstract.

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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• Zoom link at the bottom of the abstract
• computer sience

Note that ex-directory lists are not shown.