This survey discusses the interplay among unquantified relational 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 paper also reports on many experiments aimed at providing automated support for reasoning based on the calculus of dyadic relations.
CITATION STYLE
Formisano, A., Omodeo, E. G., & Policriti, A. (2018). Reasoning on Relations, Modalities, and Sets. In Outstanding Contributions to Logic (Vol. 17, pp. 129–168). Springer. https://doi.org/10.1007/978-3-319-97879-6_6
Mendeley helps you to discover research relevant for your work.