Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.

Jan M. Broersen Andreas Herzig Nicolas Troquard

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

Keyphrases

alternating time temporal logic
logical framework
multi agent systems
model checking
coalition logic
imperfect information
inference rules
epistemic logic
belief revision
temporal logic
reasoning tasks
computation tree logic
modal logic
logic programming
game theory
game theoretic
markov chain
cooperative