Up a level |
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas (2007). Cut-free common knowledge. Journal of applied logic, 5(4), pp. 681-689. Amsterdam: Elsevier 10.1016/j.jal.2006.02.003
Kretz, Mathis; Studer, Thomas (2006). Deduction chains for common knowledge. Journal of applied logic, 4(3), pp. 331-357. Amsterdam: Elsevier