Expressivity of Update Logics

26^th April 2005, 16:00
Barteld Kooi
Faculty of Philosophy, University of Groningen, The Netherlands