Hybrid logics of separation axioms
scientific article; zbMATH DE number 5653953
scientific article