Relaxing exclusive control in Boolean games

MaRDI QIDQ5016798zbMATH OpenFDO

Authors Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominiquen Longi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08736, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.4

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving topology, set theory, or logic (91A44)

Recommendations

• Iterated Boolean games
• Logics in Artificial Intelligence
• Boolean network games and iterated Boolean games
• Dependencies between players in Boolean games
• Formalizing commitment-based deals in Boolean games

Cites work

• Alternating-time temporal logic
• scientific article; zbMATH DE number 3624762 (Why is no real title available?)
• Iterated Boolean games
• Model Checking Logics of Strategic Ability: Complexity*
• On the logic of cooperation and propositional control
• Reasoning about the transfer of control
• The Ceteris Paribus Structure of Logics of Game Forms

Cited in

(3)

• Iterated Boolean games
• Boolean network games and iterated Boolean games
• Model-checking strategic abilities in information-sharing systems

This page was built for publication: Relaxing exclusive control in Boolean games

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