In the article “The Ceteris Paribus Structure of Logics of Game Forms” authors Davide Grossi,
Emiliano Lorini, and Francois Schwarzentruber propose a generalization to the multitude of logic models applied in game and agent formal analysis.
Authors sudied common aspects of formal models used to represent choice and power currently used in modal logics such as ‘Seeing to it that’, ‘Coalition Logic’, ‘Propositional Control’, and ‘Aternating-time tempral logic’ among others.