Dynamic Logic on Games with Structured Strategies.

Ramaswamy Ramanujam Sunil Easaw Simon Dynamic Logic on Games with Structured Strategies. 49-58 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#RamanujamS08