Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
scientific article; zbMATH DE number 6834946
scientific article