Andrés Perea. Finite Reasoning Procedures for Dynamic Games. In Johan van Benthem, Sujata Ghosh, Rineke Verbrugge, editors, Models of Strategic Reasoning - Logics, Games, and Communities. Volume 8972 of Lecture Notes in Computer Science, pages 63-90, Springer, 2015. [doi]
Abstract is missing.