This survey discusses the interplay among unquantified re- lational logics, propositional modal logics, and set theories. To set up a common ground, cross-translation methods among languages commonly used to work with relations, modalities, and sets, are revisited. This pa- per also reports on many experiments aimed at providing automated support for reasoning based on the calculus of dyadic relations.
