A Catalogue of Properties of Binary Relations: Entailments, Incompatibilities, and Independence Results
We study fifteen properties of binary relations that have established uses in modal logic, order and preference theory, and relation algebra. The organising question is pragmatic: once some properties of a relation are known, which further properties follow, which combinations force degeneracy, and which properties rem...