State and path coalition effectivity models for logics of multi-player games

- Goranko, Valentin, Jamroga, Wojciech