Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\)
scientific article; zbMATH DE number 3274719