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

[Jonas Haldimann]

      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, 15. January 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/20250212/aa00430c/attachment.htm>