Journal article icon

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...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
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

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP