Quantified coalition logic

DOI10.1007/S11229-008-9363-1MaRDI QIDQ1024128zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• A logical characterisation of qualitative coalitional games
• Action and knowledge in alternating-time temporal logic
• Alternating-time temporal logic
• On the computational complexity of qualitative coalitional games
• Reasoning about 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
• Coalition games over Kripke semantics: expressiveness and complexity
• Synthesizing coalitions for multi-agent games
• scientific article; zbMATH DE number 1931676 (Why is no real title available?)
• Coalition description logic with individuals
• Reasoning about cooperation, actions and preferences
• Logic for coalitions with bounded resources
• Model Checking for Coalition Announcement Logic
• 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)