Multiagent temporal logics with multivaluations
scientific article; zbMATH DE number 6976648
scientific article