Yoshihito Tanaka. Some Proof Systems for Common Knowledge Predicate. Reports on Mathematical Logic, 37:79-100, 2003. [doi]
@article{Tanaka03, title = {Some Proof Systems for Common Knowledge Predicate}, author = {Yoshihito Tanaka}, year = {2003}, url = {http://www.iphils.uj.edu.pl/rml/rml-37/a-tan-37.htm}, researchr = {https://researchr.org/publication/Tanaka03}, cites = {0}, citedby = {0}, journal = {Reports on Mathematical Logic}, volume = {37}, pages = {79-100}, }