On the logic of cooperation and propositional control

DOI10.1016/j.artint.2005.01.003zbMath1132.68744OpenAlexW2057234686MaRDI QIDQ2457673

Wiebe van der Hoek, Michael Wooldridge

Publication date: 23 October 2007

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2005.01.003

zbMATH Keywords

multi-agent systemscooperation logiclogics for control

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (21)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Imperfect information in reactive modules games ⋮ Data-informed knowledge and strategies ⋮ MULTI-AGENT COOPERATION VIA REASONING ABOUT THE BEHAVIOR OF OTHERS ⋮ Unnamed Item ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Unnamed Item ⋮ A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory ⋮ A public announcement separation logic ⋮ Reasoning about social choice functions ⋮ Possible Worlds Semantics Based on Observation and Communication ⋮ Intelligence in Strategic Games ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Qualitative criteria of admissibility for enforced agreements ⋮ Model Checking Strategic Equilibria ⋮ Knowing-how under uncertainty ⋮ On composition of bounded-recall plans ⋮ Similarity of States in Modal Logic ⋮ A Dynamic Logic of Institutional Actions ⋮ Knowing the price of success

Uses Software

• MOCHA

Cites Work

• Bringing it about
• On the logic of ability
• Getting started: Beginnings in the logic of action
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• The deliberative stit: A study of action, omission, ability, and obligation
• STRIPS: A new approach to the application of theorem proving to problem solving
• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games
• The cooperative problem-solving process
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the logic of cooperation and propositional control