Converse-PDL with regular inclusion axioms: a framework for MAS logics
scientific article; zbMATH DE number 6058061