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.
Reasoning on Relations, Modalities, and Sets
Eugenio Omodeo;
2018-01-01
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
bookmatter+Omodeo.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Copyright Editore
Dimensione
907.65 kB
Formato
Adobe PDF
|
907.65 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
