Blar i Faculty of Social Sciences på forfatter "Xiong, Zuojun"
-
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 ...