Logic for describing strong belief-disagreement between agents
scientific article; zbMATH DE number 6855866