Algebraic logic; Automated equational reasoning; Modal translation methods; Pairing; Relation algebras; Set-theoretic deduction

Reasoning on Relations, Modalities, and Sets