Mostrar el registro sencillo del ítem

dc.contributor.author
Celani, Sergio Arturo  
dc.date.available
2017-01-13T18:16:45Z  
dc.date.issued
2015-08  
dc.identifier.citation
Celani, Sergio Arturo; Properties of saturation in monotonic neighbourhood models and some applications; Springer; Studia Logica; 103; 4; 8-2015; 733-755  
dc.identifier.issn
0039-3215  
dc.identifier.issn
1572-8730  
dc.identifier.uri
http://hdl.handle.net/11336/11312  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Monotonic Modal Logic  
dc.subject
Monotonic Neighbourhood Frames And Models  
dc.subject
M-Saturated Models  
dc.subject
Kripke M-Saturated Models  
dc.subject
Maximal Hennessy-Milner Classes of Monotonic Models  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Properties of saturation in monotonic neighbourhood models and some applications  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2016-11-23T19:56:31Z  
dc.journal.volume
103  
dc.journal.number
4  
dc.journal.pagination
733-755  
dc.journal.pais
Alemania  
dc.journal.ciudad
Berlín  
dc.description.fil
Fil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires; Argentina  
dc.journal.title
Studia Logica  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007/s11225-014-9590-z  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11225-014-9590-z  

Archivos asociados
Thumbnail
 
Tamaño: 467.4Kb
Formato: PDF
.