Dynamic Logic on Games with Structured Strategies.

Ramaswamy Ramanujam, Sunil Easaw Simon

Browse the full KR paper archive.