8 citations · 8 across the 1 of their papers we have counts for
1 paper
Hein Duijf, Jan Broersen
Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logica…