Metric propositional neighborhood logic with an equivalence relation
scientific article; zbMATH DE number 6642215
scientific article