Mostrar el registro sencillo del ítem

dc.contributor.author
Celani, Sergio Arturo  
dc.contributor.author
Menchón, María Paula  
dc.date.available
2022-08-04T19:48:41Z  
dc.date.issued
2021-11  
dc.identifier.citation
Celani, Sergio Arturo; Menchón, María Paula; Monotonic modal logics with a conjunction; Springer; Archive for Mathematical Logic; 60; 11-2021; 857-877  
dc.identifier.issn
0933-5846  
dc.identifier.uri
http://hdl.handle.net/11336/164304  
dc.description.abstract
Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some distributive extensions obtained from a semilattice based deductive system with monotonic modal operators, and we give them neighborhood and algebraic semantics. For each logic defined our main objective is to prove completeness with respect to its characteristic class of monotonic frames.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/restrictedAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
CANONICAL LOGICS  
dc.subject
COMPLETE LOGICS  
dc.subject
DEDUCTIVE SYSTEMS WITH A CONJUNCTION  
dc.subject
MONOTONIC FRAMES  
dc.subject
MONOTONIC MODAL ALGEBRAS  
dc.subject
MONOTONIC OPERATORS  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Monotonic modal logics with a conjunction  
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
2022-08-04T15:07:42Z  
dc.identifier.eissn
1432-0665  
dc.journal.volume
60  
dc.journal.pagination
857-877  
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 Conicet - Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; Argentina  
dc.description.fil
Fil: Menchón, María Paula. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; Argentina  
dc.journal.title
Archive for Mathematical Logic  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00153-021-00764-9  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00153-021-00764-9  

Archivos asociados
Tamaño: 361.7Kb
Formato: PDF
.