Pit is a multi-player card game that simulates the commodities trading market, and where actions consist of bidding and of swapping cards. We define a simplification of that game for which we present a detailed description of all dynamical game features. The description is in a standard language for dynamic epistemics. This formalization is then used to outline the game theory for a simplificat...

This paper shows the existence of an equilibrium pragmatic Language with a universal grammar as a coordination device under communication misunderstandings. Such a language plays a key role in achieving efficient outcomes in those Sender-Receiver games where there may exist noisy information transmission. The Language is pragmatic in the sense that the Receiver’ best response depends on the con...

We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our model inherits its good theoretical properties; in fact, for second-order IA taken as a stand-alone langua...

during the last two decades, decentralization has been supposed as a tool for making the public sector policies more efficient. despite the claimed benefits, there are some costs; some of decentralization theorists believe that devolution of pure public goods provision to local governments has led to the failure of decentralization policies. this article uses game theory to study the implicatio...

In the multi-billion dollar game industry, time to market limits the time developers have for improving games. Game designers and software engineers usually live on opposite sides of the fence, and both lose time when adjustments best understood by designers are implemented by engineers. Designers lack a common vocabulary for expressing gameplay, which hampers specification, communication and a...

We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our model inherits its good theoretical properties; in fact, for first order IA taken as a stand-alone languag...

In general game playing [5], game rules are communicated at runtime, and the players must be able to read and understand the descriptions they are given in order to play legally and effectively. Unlike specialized game players, such as Deep Blue, general game players cannot rely on algorithms designed in advance for specific games. General game playing expertise depends on intelligence on the p...

In this paper, we present ToneWars, a collaborative mobile game for learning Chinese as a Second Language (CSL). ToneWars provides a learning experience that combines mastery learning, microlearning, and group-based interaction between CSL learners and native speakers. The game explores how unique input modalities, like touch gestures and speech recognition, can improve language acquisition tas...