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

DOI10.1007/S11229-015-0991-YzbMATH Open1397.91017OpenAlexW2289844433MaRDI QIDQ516248FDOQ516248

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

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

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)

Cites Work

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

Cited In (7)

• Title not available (Why is that?)
• Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
• Dependencies Between Players in Boolean Games
• Dependencies between players in Boolean games
• Title not available (Why is that?)
• Partial order games
• Reasoning about causality in games

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)