<!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 for the talk by <b>Nicholas Leisegang</b>
in our next NMR Online Seminar on <b>this Thursday</b>. </p>
<p>See you there!</p>
<p><b>Defeasibility in Propositional Standpoint Logics</b><br>
<font size="2"><i>Abstract.</i> Standpoint logics are a recent
family of modal logics introduced to KR, which provide a
mechanism for representing potentially conflicting beliefs of
different viewpoints into a single logical framework. In the
classical setting, standpoint logics allows for one to express
information about beliefs which are necessary or possible to a
given standpoint. However, this case is not sufficiently
expressive but to reason about the prototypical (or usual)
behaviour and beliefs of a given standpoint. In this talk, we
introduce Propositional Defeasible Standpoint Logic (PDSL) which
extends propositional standpoint logics with KLM style
defeasible modalities and implications, allowing us to reason
about standpoints’ prototypical behaviours. We define a
semantics and a notion of preferential entailment for PDSL, and
show that satisfiability and preferential entailment can be
computed using a semantic tableaux algorithm. We also consider
an alternative means of incorporating KLM-style defeasibility,
in which standpoints can hold defeasible beliefs, rather than
exhibit defeasible behaviours. <br>
</font></p>
<p>Kind regards,<br>
Jonas</p>
<p><br>
</p>
<div class="moz-cite-prefix">Am 15.11.25 um 09:10 schrieb Jonas
Haldimann:<br>
</div>
<blockquote type="cite"
cite="mid:2f6511b5-33a7-437a-9b83-1e1c24385486@haldimann.de">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div class="moz-text-html" lang="x-unicode">
<div class="moz-text-html" lang="x-unicode">
<div class="moz-text-html" lang="x-unicode">
<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
Nicholas Leisegang<br>
When? Thursday, 27. November 2025, 16:00 CET
(UCT+1)<br>
Where? Online (Zoom): <a
class="moz-txt-link-freetext"
href="https://uct-za.zoom.us/j/92600685092?pwd=ErqWWWKrljbjxLi0CNsgEZr4WR7ZHN.1"
moz-do-not-send="true">https://uct-za.zoom.us/j/92600685092?pwd=ErqWWWKrljbjxLi0CNsgEZr4WR7ZHN.1</a><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 NMR online talk series
restarts after the summer break with a talk given by<br>
<b>Nicholas Leisegang</b> (University of Cape Town,
South Africa)<br>
on <b>Thursday, 27. November 2025</b>, 16:00 CET:</p>
<p><span><span style="font-weight: bold;">Defeasibility in
Standpoint Logics</span></span> </p>
<div class="fs-6 collapse show"
id="divAbstractMartinezOctober2025"> </div>
<p>The talk will be given via Zoom.</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>
</div>
</div>
</div>
<p><br>
</p>
<p><br>
</p>
<lt-container></lt-container>
</blockquote>
</body>
</html>