Dynamic Term-Modal Logic

11^th October 2008, 16:00
Dr Barteld Kooi
Department of Theoretical Philosophy, University of Groningen, The Netherlands