[PlanetKR] Reminder: NMR Online Seminar – Next Talk on November 27 by Nicholas Leisegang

[Jonas Haldimann]

Hi everyone,

this is a brief reminder for the talk by *Nicholas Leisegang* in our 
next NMR Online Seminar on *this Thursday*.

See you there!

*Defeasibility in Propositional Standpoint Logics*
/Abstract./ 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.

Kind regards,
Jonas


Am 15.11.25 um 09:10 schrieb Jonas Haldimann:
>
>
>       NMR Online Seminar
>
>
> -- Summary: 
> ------------------------------------------------------------------
>
> What?    Next talk in the NMR online talk series by Nicholas Leisegang
> When?    Thursday, 27. November 2025, 16:00 CET (UCT+1)
> Where?   Online (Zoom): 
> https://uct-za.zoom.us/j/92600685092?pwd=ErqWWWKrljbjxLi0CNsgEZr4WR7ZHN.1
>
> https://nmrseminar.krportal.org/
> ------------------------------------------------------------------------------
>
> We are happy to announce that the NMR online talk series restarts 
> after the summer break with a talk given by
> *Nicholas Leisegang* (University of Cape Town, South Africa)
>    on *Thursday, 27. November 2025*, 16:00 CET:
>
> Defeasibility in Standpoint Logics
>
> The talk will be given via Zoom.
>
> 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/20251124/c0fae274/attachment.htm>