Quantified coalition logic
From MaRDI portal
Publication:1024128
DOI10.1007/S11229-008-9363-1zbMATH Open1169.03020OpenAlexW2104046563MaRDI QIDQ1024128FDOQ1024128
Thomas Ågotnes, M. J. Wooldridge, Wiebe van der Hoek
Publication date: 16 June 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-008-9363-1
Recommendations
Social choice (91B14) Cooperative games (91A12) Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Action and knowledge in alternating-time temporal logic
- On the computational complexity of qualitative coalitional games
- Title not available (Why is that?)
- Reasoning about coalitional games
- A logical characterisation of qualitative coalitional games
Cited In (14)
- On the logic of cooperation and propositional control
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- A complete coalition logic of temporal knowledge for multi-agent systems
- Quantified Coalition Logic of Knowledge, Belief and Certainty
- Title not available (Why is that?)
- Logic for coalitions with bounded resources
- Model Checking for Coalition Announcement Logic
- Reasoning about cooperation, actions and preferences
- From coalition logic to STIT
- Logics for Qualitative Coalitional Games
- A logical characterisation of qualitative coalitional games
- Distant Group Responsibility in Multi-agent Systems
- ON THE COMPLEXITY OF COALITIONAL REASONING
- A first-order coalition logic for BDI-agents
This page was built for publication: Quantified coalition logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024128)
