... dual d for role switch, and sequential composition ;. It is useful to also define a game conjunction G ∩ G of choice for player A as (Gd ∪ Gd)d.
確定! 回上一頁