Axiomatising Nash-Consistent Coalition Logic.

Helle Hvid Hansen Marc Pauly

Published in: JELIA (2002)

Keyphrases

coalition logic
nash equilibrium
model checking
logical framework
cooperative
probability distribution
logic programming
pattern matching
utility function
game theory
temporal reasoning