![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > On the proof theory of conditional logics
On the proof theory of conditional logicsAdd 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. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsNuclear physics seminars Cargo Met and Mat Seminar SeriesOther talksControl variates for computing transport coefficients Counting cycles in planar graphs TBA Wave turbulence in the Schrödinger-Helmholtz equation TBC Ultrafast Spectroscopy and Microscopy as probes of Energy Materials |