State and Path Effectivity Models for Logics of Multi-Player Games