{"id":18758,"date":"2025-03-05T17:12:34","date_gmt":"2025-03-05T16:12:34","guid":{"rendered":"https:\/\/informatica.uniurb.it\/triennale\/?post_type=seminari&#038;p=18758"},"modified":"2025-03-05T17:13:05","modified_gmt":"2025-03-05T16:13:05","slug":"the-logic-of-secrets-somebody-knows-and-weak-forms-of-conjunctive-distribution-in-modal-logics","status":"publish","type":"seminari","link":"https:\/\/informatica.uniurb.it\/triennale\/seminari\/the-logic-of-secrets-somebody-knows-and-weak-forms-of-conjunctive-distribution-in-modal-logics\/","title":{"rendered":"The Logic of Secrets, Somebody-Knows and Weak Forms of Conjunctive Distribution in Modal Logics"},"content":{"rendered":"<p>I will start with discussing formalising the notion of knowing a secret as a modality in modal logic, by combining standard notions of knowledge and ignorance from modal epistemic logic. Roughly speaking, Ann knows a secret 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 \\emph{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.<\/p>\n","protected":false},"featured_media":0,"template":"","class_list":["post-18758","seminari","type-seminari","status-publish","hentry","entry","no-media"],"acf":[],"_links":{"self":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/seminari\/18758","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/seminari"}],"about":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/types\/seminari"}],"wp:attachment":[{"href":"https:\/\/informatica.uniurb.it\/triennale\/wp-json\/wp\/v2\/media?parent=18758"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}