Representing strategic games and their equilibria in many-valued logics

DOI10.1093/JIGPAL/JZW004MaRDI QIDQ4644540zbMATH OpenOpenAlexFDO

Authors Libor Běhounek, Chris Fermüller, Tomáš Kroupa, Petr Cintula

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.00408

zbMATH Keywords

many-valued logicsNash equilibriastrategic gamesŁukasiewicz games

Mathematics Subject Classification ID

Noncooperative games (91A10) Many-valued logic (03B50)

Abstract: We introduce the notion of logical A-games for a fairly general class of algebras A of real truth-values. This concept generalizes the Boolean games of Harrenstein et al. as well as the recently defined Lukasiewicz games of Marchioni and Wooldridge. We demonstrate that a wide range of strategic n-player games can be represented as logical A-games. Moreover we show how to construct, under rather general conditions, propositional formulas in the language of A that correspond to pure and mixed Nash equilibria of logical A-games.

Recommendations

• Łukasiewicz games: a logic-based approach to quantitative strategic interactions
• Strategy logic
• Strategy Logic
• Logics and algebras for multiple players
• Equilibrium semantics for IF logic and many-valued connectives

Cited in

(11)

• Reasoning in games
• The logical representation of extensive games
• A logical description of priority separable games
• Łukasiewicz games: a logic-based approach to quantitative strategic interactions
• Representation of game algebras
• Optimal strategic reasoning with McNaughton functions
• An \(n\)-player semantic game for an \(n+1\)-valued logic
• Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• Logics and algebras for multiple players
• Game-theoretical interpretation of abelian logic A

This page was built for publication: Representing strategic games and their equilibria in many-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644540)