Diversity of logical agents in games - Benthem, Johan van 1949-; Liu, Fenrong (ILLC research report and technical notes series, 2004)