A logical description of priority separable games

Das, Ramit and Ramanujam, R. and Simon, Sunil (2023) A logical description of priority separable games. In: Logic, Rationality, and Interaction: 9th International Workshop, October 26–29, 2023, Jinan, China.

Full text not available from this repository. (Request a copy)

Abstract

When we reason about strategic games, implicitly we need to reason about arbitrary strategy profiles and how players can improve from each profile. This structure is exponential in the number of players. Hence it is natural to look for subclasses of succinct games for which we can reason directly by interpreting formulas on the (succinct) game description rather than on the associated improvement structure. Priority separable games are one of such subclasses: payoffs are specified for pairwise interactions, and from these, payoffs are computed for strategy profiles. We show that equilibria in such games can be described in Monadic Least Fixed Point Logic (MLFP). We then extend the description to games over arbitrarily many players, but using the monadic least fixed point extension of existential second order logic.

Item Type:	Conference or Workshop Item (Paper)
Authors:	Das, Ramit and Ramanujam, R. and Simon, Sunil
Document Language:	Language English
Subjects:	Philosophy & psychology Natural Sciences > Mathematics
Divisions:	Azim Premji University - Bengaluru > School of Development
Full Text Status:	None
URI:	http://publications.azimpremjiuniversity.edu.in/id/eprint/6858
Publisher URL:	https://doi.org/10.1007/978-3-031-45558-2_3

Actions (login required)

View Item