Strategy composition in dynamic games with simultaneous moves

Document Type

Conference Article

Publication Title

ICAART 2017 - Proceedings of the 9th International Conference on Agents and Artificial Intelligence

Abstract

Sometimes, in dynamic games, it is useful to reason not only about the existence of strategies for players, but also about what these strategies are, and how players select and construct them. We study dynamic games with simultaneous moves, repeated normal form games and show that this reasoning can be carried out by considering a single game, and studying composition of "local" strategies. We study a propositional modal logic in which such reasoning is carried out, and present a sound and complete axiomatization of the valid formulas.

First Page

624

Last Page

631

DOI

10.5220/0006205106240631

Publication Date

1-1-2017

Comments

Open Access, Hybrid Gold, Green

This document is currently not available here.

Share

COinS