Mostrar el registro sencillo del ítem

dc.contributor.author
Areces, Carlos  
dc.contributor.author
Figueira, Santiago  
dc.contributor.author
Mera, Sergio Fernando  
dc.date.available
2023-03-10T10:23:05Z  
dc.date.issued
2012-02  
dc.identifier.citation
Areces, Carlos; Figueira, Santiago; Mera, Sergio Fernando; Completeness results for memory logics; Elsevier Science; Annals Of Pure And Applied Logic; 163; 7; 2-2012; 961-972  
dc.identifier.issn
0168-0072  
dc.identifier.uri
http://hdl.handle.net/11336/190136  
dc.description.abstract
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structures. In this paper we present sound and complete axiomatizations for some members of this family. We analyze the use of nominals to achieve completeness, and present one example in which they can be avoided.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Elsevier Science  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
COMPLETENESS  
dc.subject
HYBRID LOGICS  
dc.subject
MEMORY LOGICS  
dc.subject
MODAL LOGICS  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Completeness results for memory logics  
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
2023-03-09T14:39:12Z  
dc.journal.volume
163  
dc.journal.number
7  
dc.journal.pagination
961-972  
dc.journal.pais
Países Bajos  
dc.journal.ciudad
Amsterdam  
dc.description.fil
Fil: Areces, Carlos. No especifíca;  
dc.description.fil
Fil: Figueira, Santiago. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.description.fil
Fil: Mera, Sergio Fernando. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina  
dc.journal.title
Annals Of Pure And Applied Logic  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0168007211001278  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.apal.2011.09.005  

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