Many-sorted hybrid modal languages
scientific article; zbMATH DE number 7363409