Artículo

Properties of saturation in monotonic neighbourhood models and some applications

Celani, Sergio ArturoIcon
Fecha de publicación: 08/2015
Editorial: Springer
Revista: Studia Logica
ISSN: 0039-3215
1572-8730
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

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.
Palabras clave: Monotonic Modal Logic , Monotonic Neighbourhood Frames And Models , M-Saturated Models , Kripke M-Saturated Models , Maximal Hennessy-Milner Classes of Monotonic Models
 
Archivos asociados
Thumbnail
 
Tamaño: 467.4Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/11312
URL: http://link.springer.com/article/10.1007/s11225-014-9590-z
DOI: http://dx.doi.org/10.1007/s11225-014-9590-z
Colecciones
Articulos(CCT - TANDIL)
Articulos de CTRO CIENTIFICO TECNOLOGICO CONICET - TANDIL
Citación
Celani, Sergio Arturo; Properties of saturation in monotonic neighbourhood models and some applications; Springer; Studia Logica; 103; 4; 8-2015; 733-755
Compartir
Altmétricas