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 Logic
LENZI, Giacomo;
2006
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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
