Jan Rooduijn, Lukas Zenger. An analytic proof system for common knowledge logic over S5. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 659-680, College Publications, 2022.
Abstract is missing.