Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems