CINECA IRIS Institutional Research Information System
IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.
EnglishWe consider the relation between the uniform interpolation property and the elimination of non-standard quantifiers (the bisimulation quantifiers) in the context of the μ-calculus. In particular, we isolate classes of frames where the correspondence between these two properties is nicely smooth.
| Titolo: | Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, |
| Autori: | |
| Data di pubblicazione: | 2006 |
| Rivista: | |
| Citazione: | Mu programs, Uniform interpolation and Bisimulation Quantifiers for Modal Logics, / D'AGOSTINO, G; LENZI, G; FRENCH, T. - In: JOURNAL OF APPLIED NON-CLASSICAL LOGICS. - ISSN 1166-3081. - 16(2006), pp. 297-309. |
| Abstract: | We consider the relation between the uniform interpolation property and the elimination of non-standard quantifiers (the bisimulation quantifiers) in the context of the μ-calculus. In particular, we isolate classes of frames where the correspondence between these two properties is nicely smooth. |
| Handle: | http://hdl.handle.net/11390/854761 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 03_d-agostino_et_al.pdf | Altro | Non pubblico | Accesso ristretto Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018