24,623 research outputs found
Sequentiality vs. Concurrency in Games and Logic
Connections between the sequentiality/concurrency distinction and the
semantics of proofs are investigated, with particular reference to games and
Linear Logic.Comment: 35 pages, appeared in Mathematical Structures in Computer Scienc
Resource modalities in game semantics
The description of resources in game semantics has never achieved the
simplicity and precision of linear logic, because of a misleading conception:
the belief that linear logic is more primitive than game semantics. We advocate
instead the contrary: that game semantics is conceptually more primitive than
linear logic. Starting from this revised point of view, we design a categorical
model of resources in game semantics, and construct an arena game model where
the usual notion of bracketing is extended to multi- bracketing in order to
capture various resource policies: linear, affine and exponential
Learning and coordinating in a multilayer network
We introduce a two layer network model for social coordination incorporating
two relevant ingredients: a) different networks of interaction to learn and to
obtain a payoff , and b) decision making processes based both on social and
strategic motivations. Two populations of agents are distributed in two layers
with intralayer learning processes and playing interlayer a coordination game.
We find that the skepticism about the wisdom of crowd and the local
connectivity are the driving forces to accomplish full coordination of the two
populations, while polarized coordinated layers are only possible for
all-to-all interactions. Local interactions also allow for full coordination in
the socially efficient Pareto-dominant strategy in spite of being the riskier
one
- …