Infinitary action logic: complexity, models and grammars
scientific article; zbMATH DE number 5306426
scientific article