On the logic of cooperation and propositional control

DOI10.1016/J.ARTINT.2005.01.003MaRDI QIDQ2457673zbMATH OpenOpenAlexFDO

Authors Wiebe van der Hoek, M. J. 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

cooperation logiclogics for controlmulti-agent systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Reasoning about the transfer of control
• Getting together: a unified perspective on modal logics for coalitional interaction
• A Modal Logic for Coalitional Power in Games
• Quantified coalition logic
• A logical characterisation of qualitative coalitional games

Cites work

• A course in game theory.
• A Modal Logic for Coalitional Power in Games
• Alternating-time temporal logic
• Bringing it about
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Getting started: Beginnings in the logic of action
• scientific article; zbMATH DE number 1705164 (Why is no real title available?)
• scientific article; zbMATH DE number 3888913 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 53233 (Why is no real title available?)
• scientific article; zbMATH DE number 88991 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 4119600 (Why is no real title available?)
• scientific article; zbMATH DE number 2088152 (Why is no real title available?)
• scientific article; zbMATH DE number 2196601 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Modal logic
• On the logic of ability
• Reasoning about rational agents
• STRIPS: A new approach to the application of theorem proving to problem solving
• The cooperative problem-solving process
• The deliberative stit: A study of action, omission, ability, and obligation

Cited in

(33)

• Reasoning about cooperation, actions and preferences
• Imperfect information in reactive modules games
• Together we know how to achieve: an epistemic logic of know-how
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
• On composition of bounded-recall plans
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• Dynamic coalition logic: granting and revoking dictatorial powers
• Data-informed knowledge and strategies
• A dynamic logic of agency. I: STIT, capabilities and powers
• Knowing-how under uncertainty
• Qualitative criteria of admissibility for enforced agreements
• A dynamic logic of institutional actions
• Multi-agent cooperation via reasoning about the behavior of others
• Possible worlds semantics based on observation and communication
• Together we know how to achieve: an epistemic logic of know-how (extended abstract)
• Reasoning about the transfer of control
• Model Checking Strategic Equilibria
• Modal Logics for Preferences and Cooperation: Expressivity and Complexity
• A cooperation logic for declaration structures
• Getting together: a unified perspective on modal logics for coalitional interaction
• Relaxing exclusive control in Boolean games
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• Intelligence in strategic games
• Similarity of states in modal logic
• A public announcement separation logic
• Reasoning about social choice functions
• Local fact change logic
• Implicit quantification for modal reasoning in large games
• Seven kinds of equivalent models for generalized coalition logics
• Each of those eight coalition logics is also determined by four other kinds of models
• Model-checking strategic abilities in information-sharing systems
• A modal approach towards substitutions
• Knowing the price of success

Describes a project that uses

Uses Software

• MOCHA

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

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