| |
| 2008 | ||
|---|---|---|
| 3 | EE | Gerhard Jäger, Mathis Kretz, Thomas Studer: Canonical completeness of infinitary mu. J. Log. Algebr. Program. 76(2): 270-292 (2008) |
| 2007 | ||
| 2 | EE | Gerhard Jäger, Mathis Kretz, Thomas Studer: Cut-free common knowledge. J. Applied Logic 5(4): 681-689 (2007) |
| 2006 | ||
| 1 | EE | 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] |