Abstract
There are several different game description languages (GDLs), each intendedto allow wide ranges of arbitrary games (i.e., general games) to be describedin a single higher-level language than general-purpose programming languages.Games described in such formats can subsequently be presented as challenges forautomated general game playing agents, which are expected to be capable ofplaying any arbitrary game described in such a language without prior knowledgeabout the games to be played. The language used by the Ludii general gamesystem was previously shown to be capable of representing equivalent games forany arbitrary, finite, deterministic, fully observable extensive-form game. Inthis paper, we prove its universality by extending this to include finitenon-deterministic and imperfect-information games.