Malinowski modalization, modalization through fibring and the Leibniz hierarchy
scientific article; zbMATH DE number 6409410