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.
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.
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 materiale allegato | Non pubblico | Accesso ristretto Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.