H:/office/texdocs/xl/otterloos_preferences.dvi
Preferences in Game Logics Abstract even excluding the possibility that an agent might value op-tions equally. Models of social procedures that do not re- We introduce a Game Logic with Preferences ( GLP ), quire one to completely specify the preferences of agents which makes it possible to reason about how information are thus highly desirable. Gal and Pfeffer [9, 10] have also or as