| 2008 | ||
|---|---|---|
| 3 | Gerhard Jäger, Mathis Kretz, Thomas Studer: Canonical completeness of infinitary mu. J. Log. Algebr. Program. 76(2): 270-292 (2008) | |
| 2007 | ||
| 2 | Gerhard Jäger, Mathis Kretz, Thomas Studer: Cut-free common knowledge. J. Applied Logic 5(4): 681-689 (2007) | |
| 2006 | ||
| 1 | Mathis Kretz, Thomas Studer: Deduction chains for common knowledge. J. Applied Logic 4(3): 331-357 (2006) | |
| 1 | Gerhard Jäger | [2] [3] |
| 2 | Thomas Studer | [1] [2] [3] |