• The logic of secrets and the interpolation rule 

      Xiong, Zuojun; Ågotnes, Thomas (Journal article; Peer reviewed, 2022)
      In this article we formalise 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 ...