<!DOCTYPE html>
<html data-lt-installed="true">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body style="padding-bottom: 1px;">
<h3>NMR Online Seminar</h3>
<p><br>
<font face="monospace"><font size="4">-- Summary:
------------------------------------------------------------------<br>
<br>
What? Next talk in the NMR online talk series by Marianna
Girlando<br>
When? Wednesday, 19. February 2025, 16:00 CET (UCT+1)<br>
Where? Online (Zoom), see details below<br>
<br>
<a class="moz-txt-link-freetext"
href="https://nmrseminar.krportal.org/">https://nmrseminar.krportal.org/</a><br>
------------------------------------------------------------------------------</font><br>
</font><br>
We are happy to announce that the next talk in the NMR online talk
series will be given by<br>
<b>Marianna Girlando</b> (University of Amsterdam,
Netherlands)<br>
on <b>Wednesday, 15. January 2025</b>, 16:00 CET:</p>
<p><span><span style="font-weight: bold;">An introduction to
conditionals and their proof theory</span></span><br>
<i>Abstract.</i> 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.<br>
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.<br>
This talk is based on joint work with: Bjoern Lellmann, Sara
Negri, Nicola Olivetti and Gian Luca Pozzato. </p>
<div class="fs-6 collapse show" id="divAbstractGirlandoFeb25"> </div>
<p> This talk will be given via Zoom:<br>
<a class="moz-txt-link-freetext"
href="https://tuwien.zoom.us/j/62945138055?pwd=706TaUrRHGdxVFURNt3WCVb4n8MY9j.1">https://tuwien.zoom.us/j/62945138055?pwd=706TaUrRHGdxVFURNt3WCVb4n8MY9j.1</a><br>
Meeting ID: 629 4513 8055<br>
Password: CNq1VeSZ</p>
<p>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<br>
<a class="moz-txt-link-freetext"
href="https://nmrseminar.krportal.org/">https://nmrseminar.krportal.org/</a></p>
<p>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.</p>
Kind regards,<br>
Jonas and Giovanni<br>
<br>
<p></p>
</body>
<lt-container></lt-container>
</html>