Quantified coalition logic.

Thomas Ågotnes Wiebe van der Hoek Michael J. Wooldridge

Published in: Synth. (2008)

Keyphrases

coalition logic
logical framework
model checking
modal logic
pspace complete
satisfiability problem
cl pc
artificial intelligence
temporal logic
first order logic
decision problems
inference rules