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, Giovanna;
2006-01-01
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
03_d-agostino_et_al.pdf
non disponibili
Tipologia:
Altro materiale allegato
Licenza:
Non pubblico
Dimensione
111.38 kB
Formato
Adobe PDF
|
111.38 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
