Kretz, Mathis

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2007 | 2006

2007

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

2006

Kretz, Mathis; Studer, Thomas (2006). Deduction chains for common knowledge. Journal of applied logic, 4(3), pp. 331-357. Amsterdam: Elsevier

Provide Feedback