A resolution-based calculus for Coalition Logic.

Cláudia Nalon Lan Zhang Clare Dixon Ullrich Hustadt

Published in: J. Log. Comput. (2014)

Keyphrases

coalition logic
model checking
modal logic
temporal logic
logical framework
pspace complete
artificial intelligence
bayesian networks
logic programming