[PlanetKR] [NMR Online Seminar] Reminder: Next Talk by Marianna Girlando on Feb. 19: An introduction to conditionals and their proof theory

[Jonas Haldimann]

Hi everyone,

this is a brief reminder of the next talk in the NMR Online Seminar on 
this Wednesday, 16:00 CET.

https://tuwien.zoom.us/j/62945138055?pwd=706TaUrRHGdxVFURNt3WCVb4n8MY9j.1
Meeting ID: 629 4513 8055
Password: CNq1VeSZ

Kind regards,
Jonas and Giovanni

On 12.02.25 11:59, Jonas Haldimann wrote:
>
>
>       NMR Online Seminar
>
>
> -- Summary: 
> ------------------------------------------------------------------
>
> What?    Next talk in the NMR online talk series by Marianna Girlando
> When?    Wednesday, 19. February 2025, 16:00 CET (UCT+1)
> Where?   Online (Zoom), see details below
>
> https://nmrseminar.krportal.org/
> ------------------------------------------------------------------------------
>
> We are happy to announce that the next talk in the NMR online talk 
> series will be given by
> *Marianna Girlando* (University of Amsterdam, Netherlands)
>    on *Wednesday, 19. February 2025*, 16:00 CET:
>
> An introduction to conditionals and their proof theory
> /Abstract./ Conditional logics, as introduced by David Lewis in 1973, 
> enrich the language of classical propositional logic with a two-places 
> modal operator, the conditional, suitable to represent fine-grained 
> notions of conditionality. The proof theory of conditional logics 
> relies on proof-theoretic techniques similar to those employed to 
> define proof systems for modal logics: either the language of sequent 
> calculus is enriched, giving rise to labelled calculi, or additional 
> structural connectives are employed, thus defining various kinds of 
> structured sequents (e.g., nested sequents). In this talk I will 
> present sequent calculi for conditional logics belonging both to the 
> labelled and to the structured approach.
> After introducing conditional logics and their semantics, that I will 
> define in terms of neighborhood models, I will present a labelled 
> sequent calculus, modularly capturing a large family of systems, and a 
> nested-style sequent calculus, featuring a structural connective 
> representing neighborhoods of the model. I will then compare the 
> properties of the two proof systems, discussing their strengths and 
> weaknesses.
> This talk is based on joint work with: Bjoern Lellmann, Sara Negri, 
> Nicola Olivetti and Gian Luca Pozzato.
>
> This talk will be given via Zoom:
> https://tuwien.zoom.us/j/62945138055?pwd=706TaUrRHGdxVFURNt3WCVb4n8MY9j.1
>    Meeting ID: 629 4513 8055
>    Password: CNq1VeSZ
>
> The plan of this series to have a talk roughly once per month. If you 
> are interested in learning the next speakers, please visit the website at
> https://nmrseminar.krportal.org/
>
> We are still looking for speakers for future talks. If there is 
> something you would like to present in this seminar series, please do 
> not hesitate to contact us.
>
> Kind regards,
> Jonas and Giovanni
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20250218/f650fe91/attachment.htm>