We consider fragments of the relational logic RL(1) obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.
Dual tableau-based decision procedures for relational logics with restricted composition operator
CANTONE, Domenico;NICOLOSI ASMUNDO, MARIANNA;
2011-01-01
Abstract
We consider fragments of the relational logic RL(1) obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
JANCL2011.pdf
solo gestori archivio
Tipologia:
Versione Editoriale (PDF)
Dimensione
6.61 MB
Formato
Adobe PDF
|
6.61 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.