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