Van Drimmelen, Govert Cornelis
(2003)
This dissertation describes the solution toa specific logical problem, the satisfiability
problem, in a logic of games called Alternating-time Temporal Logic (ATL).
Computation Tree Logic (CTL) is a discrete branching-time ...