Quantified coalition logic
From MaRDI portal
Publication:1024128
DOI10.1007/s11229-008-9363-1zbMath1169.03020MaRDI QIDQ1024128
Michael Wooldridge, Wiebe van der Hoek, Thomas Ågotnes
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
91A12: Cooperative games
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
91B14: Social choice
Related Items
Reasoning about cooperation, actions and preferences, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
Cites Work