EVENT

Talk on "The Logic of Secrets" by Thomas Agotnessfrom the University of Bergen

We are pleased to inform you about the upcoming seminar by Thomas Agotnessfrom the University of Bergen titled:"The Logic of Secrets" Everyone interested is cordially invited to attend!

Title:

The Logic of Secrets

Abstract:

This talk will be about formalising the notion of *knowing a secret* as a modality, by combining standard notions of knowledge and ignorance from modal epistemic logic. Roughly speaking, Ann knows a secreet if and only if she knows it and she knows that everyone else does not know it. The main aim is to study the properties of these secretly knowing modalities.
It turns out that the modalities are non-normal, and are characterised by a derivation rule we call Interpolation that is stronger than Equivalence but weaker than Monotonicity. We study the Interpolation rule and position it in the landscape of non-normal modal logics. We show that it, in combination with basic axioms, gives us a complete characterisation of the properties of the secretly knowing modalities under weak assumptions about the properties of individual knowledge, in the form of a sound and complete axiomatisation. This characterisation gives us the most basic and fundamental principles of secretly knowing.
The talk is based on joint work with Zuojun Xiong.

Speaker Bio:

Thomas Agotnessfrom the University of Bergen
https://www4.uib.no/en/find-employees/Thomas.%C3%85gotnes
https://scholar.google.com/citations?user=84QtbJMAAAAJ

Time/Date:

14:00 - February 13 (Thursday), 2025

Place:

Room 1512 , NII and Online

Online:

zoom

Contact:

If you would like to join, please contact by email.
Email :ksatoh[at]nii.ac.jp