Artículos de revistas
Properties of saturation in monotonic neighbourhood models and some applications
Fecha
2015-08Registro en:
Celani, Sergio Arturo; Properties of saturation in monotonic neighbourhood models and some applications; Springer; Studia Logica; 103; 4; 8-2015; 733-755
0039-3215
1572-8730
Autor
Celani, Sergio Arturo
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.
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Micro-organismes et matiere organique du sol (modele MOMOS): bilan de 20 ans de modelisation basée sur le tracage isotopique in situ
Pansu, Marc; Sarmiento, Lina; Bottner, P. -
On Paradigms, Theories and Models
KHAN, HEIDER