Reasoning about Joint Action and Coalitional Ability in K n with Intersection

DOI10.1007/978-3-642-22359-4_11zbMath1348.68251OpenAlexW1668248063MaRDI QIDQ3092300

Natasha Alechina, Thomas Ågotnes

Publication date: 16 September 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Other game-theoretic models (91A40) Agent technology and artificial intelligence (68T42)

Related Items

Effectivity functions and efficient coalitions in Boolean games ⋮ Unnamed Item ⋮ Blame it on me ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extensive games as process models
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
• Model checking propositional dynamic logic with all extras
• Games in Dynamic-Epistemic Logic
• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games