scientific article; zbMATH DE number 7444843

zbMath1483.68185arXiv1707.08736MaRDI QIDQ5016798

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

Publication date: 14 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Iterated Boolean games
• On the logic of cooperation and propositional control
• Model Checking Logics of Strategic Ability: Complexity*
• Alternating-time temporal logic
• Reasoning About the Transfer of Control
• The Ceteris Paribus Structure of Logics of Game Forms

This page was built for publication: