Subgame Perfection in Propositional Dynamic Logic

14^th May 2002, 16:00
Dr. Boudewijn de Bruin
Institute for Logic, Language, and Computation, University of Amsterdam