PP-2007-26: Johan van Benthem, Sujata Ghosh, Fenrong Liu Modelling Simultaneous Games with Dynamic Logic 1.Full Text, 2.Abstract, 3.Full Text (Jun 2007 version). < Back
