Sabina Petride, Riccardo Pucella. Perfect cryptography, S5 knowledge, and algorithmic knowledge. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007. pages 239-247, 2007. [doi]
Abstract is missing.