An analytic proof system for common knowledge logic over S5.

Jan Rooduijn, Lukas Zenger

Browse the full AiML paper archive.