Call for Papers: Special Issue of "Games" Journal on
** LOGIC AND GAME THEORY**
http://www.mdpi.com/journal/games/special_issues/logic
**Deadline for submissions: 1 May 2018**
Logicians and game theorists have long found that ideas from each
other's fields can usefully inform their own. From the perspective of
logic, for example, game theory provides a natural framework with
which to capture key logical concepts—Ehrenfeucht–Fraïssé games for
checking the equivalence of models are a classic example, and the
paradigm of model checking games for the verification of computer
systems demonstrates that such ideas can have valuable practical
applications. From the perspective of game theory, logic provides a
natural and powerful tool with which to make explicit the many and
subtle assumptions, such as common knowledge of rationality, which
underpin game theoretic solution concepts. While the majority of work
at the intersection of logic and games has arguably focused on
zero-sum/win-lose games, there has recently been much interest in the
logical foundations of general sum games, and solution concepts, such
as Nash equilibrium. For example, in the computer science and
artificial intelligence communities, the paradigm of rational
verification aims to establish the properties that hold of concurrent
and multi-agent systems under the assumption that system components
(software agents) behave in accordance with game theoretic notions of
rational action.
"Games" journal is an open access journal devoted to game theory
(http://www.mdpi.com/journal/games). The aim of this Special Issue is
to profile the state-of-the-art in logic and game theory, and showcase
the key problems and directions that are driving research in the
area. Submissions are invited from those working in logic and game
theory, as well as cognate disciplines such as computer science,
artificial intelligence, and philosophy.
We intend the scope of the Special Issue to be broad, but all
published articles must clearly have both a logic and game theoretic
component. Preference will be given to articles that appeal to a
broader audience; all articles should take into account the readership
of the journal.
TOPICS OF INTEREST
Include, but are not restricted to:
* logic and game theory
* knowledge representation and game theory
* reasoning about equilibria
* rational verification
* rational synthesis
* equilibrium checking
* concurrency and game theory
* concurrent games
INFORMAL ENQUIRIES
Informal enquiries are welcome, and may be sent to any member of the
special issue organisers:
* Michael Wooldridge <mjw@cs.ox.ac.uk>
* Julian Gutierrez <Julian.Gutierrez@cs.ox.ac.uk>
* Paul Harrenstein <paul.harrenstein@cs.ox.ac.uk>
* Giuseppe Perelli <giuseppe.perelli@cs.ox.ac.uk>
SUBMISSION INSTRUCTIONS
Manuscripts should be submitted online via:
Note that if you have never accessed the journal before, you will need
to register for the website (there is no charge for this). The
deadline for submissions is **1 May 2018**; manuscripts can be
submitted at any time until the deadline. All papers will be
peer-reviewed. Accepted papers will be published continuously in the
journal (as soon as accepted) and will be listed together on the
special issue website. Research articles, review articles as well as
short communications are invited. For planned papers, a title and
short abstract (about 100 words) can be sent to the Editorial Office
for announcement on this website.
Submitted manuscripts should not have been published previously, nor
be under consideration for publication elsewhere (except conference
proceedings papers). All manuscripts are thoroughly refereed through a
single-blind peer-review process. A guide for authors and other
relevant information for submission of manuscripts is available on the
Instructions for Authors page.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
