<!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;">
<p>Hi everyone,</p>
<p>this is a brief reminder of the next talk in the NMR Online
Seminar on this Wednesday, 16:00 CET.</p>
<p><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>
Kind regards,<br>
Jonas and Giovanni
<p></p>
<div class="moz-cite-prefix">On 12.02.25 11:59, Jonas Haldimann
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:f48dd001-af2b-4a32-b68f-363fc5c0abf4@haldimann.de">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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/"
moz-do-not-send="true">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, 19. February 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"
moz-do-not-send="true">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/" moz-do-not-send="true">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>
<lt-container></lt-container>
</blockquote>
</body>
</html>