Thomas Ågotnes , Johan van Benthem , Eric Pacuit (2009) Synthese 169 (2).
pp. 351-369
This document is unfortunately not available for download at the moment.