Journal article

### Expressiveness and Nash equilibrium in iterated Boolean games

Abstract:

We define and investigate a novel notion of expressiveness for temporal logics that is based on game theoretic equilibria of multi-agent systems. We use iterated Boolean games as our abstract model of multi-agent systems [Gutierrez et al. 2013, 2015a]. In such a game, each agent has a goal , represented using (a fragment of) Linear Temporal Logic (). The goal captures agent ’s preferences, in the sense that the models of represent system behaviours that would satisfy . Each player controls...

Publication status:
Published
Peer review status:
Peer reviewed

### Access Document

Files:
• (Accepted manuscript, 335.7KB)
Publisher copy:
10.1145/3439900

### Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Hertford College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0002-9329-8410
Publisher:
Association for Computing Machinery Publisher's website
Journal:
ACM Transactions on Computational Logic Journal website
Volume:
22
Issue:
2
Article number:
8
Publication date:
2021-06-08
Acceptance date:
2020-11-01
DOI:
EISSN:
1557-945X
ISSN:
1529-3785
Language:
English
Keywords:
Pubs id:
1125317
Local pid:
pubs:1125317
Deposit date:
2020-11-27