In this paper we discuss the problem of interpolation in the alternation levels of the μ-Calculus. In particular, we consider interpolation and uniform interpolation for the alternation free fragment, and, more generally, for the level Δn of the alternation hierarchy of the μ-Calculus.
mu-levels of interpolation
Giovanna D'Agostino
2018-01-01
Abstract
In this paper we discuss the problem of interpolation in the alternation levels of the μ-Calculus. In particular, we consider interpolation and uniform interpolation for the alternation free fragment, and, more generally, for the level Δn of the alternation hierarchy of the μ-Calculus.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
MU-Levels.pdf
non disponibili
Descrizione: Articolo Principale
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
193.26 kB
Formato
Adobe PDF
|
193.26 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.
