Milano Logic Lunch Series: Roman Kuznets - Intuiting Duals of Proofs, Thursday 11/03 (12:30)

Paolo Baldi baldi at
Mon Mar 8 02:02:51 EST 2021

Dear all,

After the first talk of Fabrizio Riguzzi, our Logic Lunch Seminar Series
continues. The second talk will be given by Roman Kuznets (TU Wien) on
March 11th, starting from 12:30. Save the date and join us on Zoom!

*Title*: Intuiting Duals of Proofs

*Abstract*: Justification Logic was introduced by Sergei Artemov, under the
name of Logic of Proofs, in 1995 as a refinement of modal logic with
explicit terms in place of the necessity / provability / knowledge
modality. Over the years, multiple modal logics have received a
justification treatment, which led to uncovering of the diversity of
functional operators hidden within the modality []. For instance, while the
K modality can be represented using only two functions on proofs /
justifications (concatenation and application), the same modality of
strength S5 is realized with two additional operators (positive and
negative proof checker). However, the other modal operator <> has never
been explored because classically it is simply a dual of []. In this joint
work with Sonia Marin and Lutz Straßburger, we explore for the first time
the nature of explicit terms for <> in bimodal intuitionistic-style modal
logics, such as constructive modal logics, where De Morgan laws do not hold
and the modality <> is uncoupled from [].

*Zoom Link*:

<> for the whole schedule of our Logic
Lunch Seminar Series.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210308/2e9a1e96/attachment-0001.html>

More information about the FOM mailing list