The complexity of one-agent refinement modal logic
scientific article; zbMATH DE number 6493331
scientific article