Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

Call for Papers for the Journal of Logic, Language and Information Special Issue on Logic and Games

Deadline: 1 October 2000

Call for Papers for the Journal of Logic, Language and Information Special Issue on Logic and Games.
New Deadline: 1 October 2000
Guest Editors: Paul Dekker and Marc Pauly

Games have been utilized within logic for a variety of different purposes such as semantic evaluation games (Hintikka & Sandu), model comparison games (Ehrenfeucht & Fraïssé, and proof games (Lorenzen). On the other hand, logic has become increasingly important in game theory, in particular for the epistemic foundation of game-theoretic solution concepts (Aumann & Stalnaker). As the TARK and LOFT conferences show, interaction between logic and game theory has become more diverse in recent years, exploring game logics, the use of game-theory in multi-agent systems, game-theoretic accounts of natural language phenomena, and the role of language in defining preferences.

Games have been utilized within logic for a variety of different purposes such as semantic evaluation games (Hintikka & Sandu), model comparison games (Ehrenfeucht & Fraïssé, and proof games (Lorenzen). On the other hand, logic has become increasingly important in game theory, in particular for the epistemic foundation of game-theoretic solution concepts (Aumann & Stalnaker). As the TARK and LOFT conferences show, interaction between logic and game theory has become more diverse in recent years, exploring game logics, the use of game-theory in multi-agent systems, game-theoretic accounts of natural language phenomena, and the role of language in defining preferences.

In the wake of an interdisciplinary workshop on logic and games held in Amsterdam, November 1999, we specifically invite contributions in any of the following areas:

  • Logical analysis of games, e.g. modeling knowledge, belief, and information flow in games; applications of epistemic and dynamic logic to games
  • Logic games, e.g. model comparison games, semantic evaluation games, etc.
  • Game logics, e.g. extensions of program logics and modal logics to investigate the structure of games in general
  • The role of language and logical definability in games, games in natural language semantics, independence-friendly logic
  • Logical approaches to multi-agent systems with a special focus on game-theoretic aspects

For more information, see the original Call for Papers.

Please note that this newsitem has been archived, and may contain outdated information or links.