Quantified coalition logic

DOI10.1007/s11229-008-9363-1zbMath1169.03020OpenAlexW2104046563MaRDI QIDQ1024128

Thomas Ågotnes, Michael 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

zbMATH Keywords

quantificationmodel checkingsatisfiabilitysuccinctnesscoalition logic

Mathematics Subject Classification ID

Cooperative games (91A12) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Social choice (91B14)

Related Items (6)

A complete coalition logic of temporal knowledge for multi-agent systems ⋮ Distant Group Responsibility in Multi-agent Systems ⋮ A first-order coalition logic for BDI-agents ⋮ Quantified Coalition Logic of Knowledge, Belief and Certainty ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Reasoning about cooperation, actions and preferences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the computational complexity of qualitative coalitional games
• Reasoning about coalitional games
• Action and knowledge in alternating-time temporal logic
• Alternating-time temporal logic
• A logical characterisation of qualitative coalitional games

This page was built for publication: Quantified coalition logic