A complete coalition logic of temporal knowledge for multi-agent systems
scientific article; zbMATH DE number 6995616
scientific article