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.

Reasoning on Relations, Modalities, and Sets

Formisano A.;
2018

Abstract

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.
2018
978-3-319-97878-9
978-3-319-97879-6
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11391/1452888
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact