Quantified coalition logic

DOI10.1007/S11229-008-9363-1zbMATH Open1169.03020OpenAlexW2104046563MaRDI QIDQ1024128FDOQ1024128

Authors: Thomas Ågotnes, Wiebe van der Hoek, M. J. Wooldridge 

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

• A logical characterisation of qualitative coalitional games
• Higher-order coalition logic
• A Modal Logic for Coalitional Power in Games
• Logics for Qualitative Coalitional Games
• Reasoning about coalitional games

zbMATH Keywords

quantificationmodel checkingsatisfiabilitysuccinctnesscoalition logic

Mathematics Subject Classification ID

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 (19)

• Quantified coalition logic of knowledge, belief and certainty
• On the logic of cooperation and propositional control
• Distant group responsibility in multi-agent systems
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
• A complete coalition logic of temporal knowledge for multi-agent systems
• Higher-order coalition logic
• Synthesizing coalitions for multi-agent games
• Coalition games over Kripke semantics: expressiveness and complexity
• Title not available (Why is that?)
• Coalition description logic with individuals
• 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
• Ordered resolution for coalition logic
• 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)