We define SLCS\eta, a weaker logic than SLCS\gamma, and we interpret it on face-poset models. We show the relationship between the equivalence induced by the two logics, namely =SLCS\gamma and =SLCS\eta and bisimilarities of finite closure models proposed in the literature.
SLCS on face-poset models and bisimilarities on quasi-discrete closure models
Ciancia V;Latella D;Massink M
2023
Abstract
We define SLCS\eta, a weaker logic than SLCS\gamma, and we interpret it on face-poset models. We show the relationship between the equivalence induced by the two logics, namely =SLCS\gamma and =SLCS\eta and bisimilarities of finite closure models proposed in the literature.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_486568-doc_201892.pdf
solo utenti autorizzati
Descrizione: SLCS on face-poset models and bisimilarities on quasi-discrete closure models
Dimensione
872.94 kB
Formato
Adobe PDF
|
872.94 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_486568-doc_201892.pdf
accesso aperto
Descrizione: SLCS on face-poset models and bisimilarities on quasi-discrete closure models
Dimensione
872.94 kB
Formato
Adobe PDF
|
872.94 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.