Refining operational logics
Joseph Osborn, Noah Wardrip–Fruin, Michael Mateas · 2017
This paper expands on and refines the theoretical framework of operational logics, which simultaneously addresses how games operate at a procedural level and how games communicate these operations to players. In the years since their introduction, operational logics have been applied in domains ranging from game studies to game generation and game modeling languages. To support these uses and to enable new ones, we resolve some standing ambiguities and provide a catalog of key, fundamental operational logics.