Logical-epistemic foundations of general game descriptions
logical formalizations of game properties
scientific article; zbMATH DE number 6305287
scientific article