Partial-order Boolean games: informational independence in a logic-based model of strategic interaction

DOI10.1007/S11229-015-0991-YMaRDI QIDQ516248zbMATH OpenOpenAlexFDO

Authors Julian Bradfield, Julian Gutiérrez, M. J. Wooldridge

Publication date 14 March 2017

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/23797789/main.pdf

zbMATH Keywords

independence-friendly logicBoolean gamesconcurrency theoryfoundations of games

Mathematics Subject Classification ID

Applications of game theory (91A80) Other nonclassical logic (03B60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Noncooperative games (91A10) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Dependencies between players in Boolean games
• Dependencies Between Players in Boolean Games
• Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
• Logics in Artificial Intelligence
• Modelling incomplete information in Boolean games using possibilistic logic

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1142303 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1471980 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• A course in game theory.
• Asynchronous Games: Innocence Without Alternation
• Concurrent logic games on partial orders
• Dependencies between players in Boolean games
• Deterministic concurrent strategies
• Equilibria of concurrent games on event structures
• Games, puzzles, and computation
• Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
• Imperfect information in logic and concurrent games
• Incentive engineering for Boolean games
• Independence-friendly logic. A game-theoretic approach
• Lower bounds for multiplayer noncooperative games of incomplete information
• Models for concurrency: Towards a classification
• Multi-agent influence diagrams for representing and solving games.
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Sequentiality vs. concurrency in games and logic
• The winning ways of concurrent games
• Undecidability of domino games and hhp-bisimilarity.
• Weighted Boolean formula games

Cited in

(7)

• Reasoning about causality in games
• Partial order games
• Dependencies Between Players in Boolean Games
• Dependencies between players in Boolean games
• scientific article; zbMATH DE number 5734939 (Why is no real title available?)
• Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
• scientific article; zbMATH DE number 5180966 (Why is no real title available?)

This page was built for publication: Partial-order Boolean games: informational independence in a logic-based model of strategic interaction

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