{"id":"arxiv/2609.13317","url":"https://arxiv.org/abs/2609.13317","tags":["cs.LO","math.LO"],"score":0,"title":"A Catalogue of Properties of Binary Relations: Entailments, Incompatibilities, and Independence Results","domain":"cs.LO","source":"arxiv","authors":["Magnus Boman"],"reviews":0,"subject":"cs.LO","summary":"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 remain independent? We give a proved Horn basis of elementary and compound entailments, explicit countermodels for non-entailments, and a relation-algebraic translation of all fifteen properties. The modal discussion includes the usual Scott--Lemmon correspondences and the logic…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}