Model Checking Strategic Equilibria

DOI10.1007/978-3-642-00431-5_11zbMath1226.68044OpenAlexW1569894526MaRDI QIDQ3614880

Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge

Publication date: 17 March 2009

Published in: Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00431-5_11

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• Pure extensions, proof rules, and hybrid axiomatics
• Alternative axiomatics and complexity of deliberative STIT theories
• Social software
• The deliberative stit: A study of action, omission, ability, and obligation
• On the logic of cooperation and propositional control
• Model checking hybrid logics (with an application to semistructured data)
• Hybrid logics: characterization, interpolation and complexity
• Alternating-time temporal logic
• Hybrid languages and temporal logic
• A Modal Logic for Coalitional Power in Games
• Cylindric modal logic

This page was built for publication: Model Checking Strategic Equilibria