INVESTIGADORES
CELANI Sergio Arturo
artículos
Título:
Properties of saturation in monotonic neighbourhood models and some applications
Autor/es:
SERGIO ARTURO CELANI
Revista:
STUDIA LOGICA
Editorial:
Springer
Referencias:
Año: 2015 vol. 103 p. 733 - 755
ISSN:
0039-3215
Resumen:
In this paper we shall discuss properties of saturation in monotonic neighbourhood models and study some applications, like a characterization of compact and modally saturated monotonic models and a characterization of the maximal Hennessy-Milner classes. We shall also show that our notion of modal saturation for monotonic models naturally extends the notion of modal saturation for Kripke models.
