Arild Waaler. Consistency Proofs for Systems of Multi?agent Only Knowing. In Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing, editors, Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004. pages 347-366, King s College Publications, 2004. [doi]
Abstract is missing.