Repositorio Institucional
Repositorio Institucional
CONICET Digital
  • Inicio
  • EXPLORAR
    • AUTORES
    • DISCIPLINAS
    • COMUNIDADES
  • Estadísticas
  • Novedades
    • Noticias
    • Boletines
  • Ayuda
    • General
    • Datos de investigación
  • Acerca de
    • CONICET Digital
    • Equipo
    • Red Federal
  • Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
  • INFORMACIÓN GENERAL
  • RESUMEN
  • ESTADISTICAS
 
Artículo

Completeness results for memory logics

Areces, Carlos; Figueira, SantiagoIcon ; Mera, Sergio FernandoIcon
Fecha de publicación: 02/2012
Editorial: Elsevier Science
Revista: Annals Of Pure And Applied Logic
ISSN: 0168-0072
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:
Matemática Pura

Resumen

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.
Palabras clave: COMPLETENESS , HYBRID LOGICS , MEMORY LOGICS , MODAL LOGICS
Ver el registro completo
 
Archivos asociados
Thumbnail
 
Tamaño: 292.3Kb
Formato: PDF
.
Descargar
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/190136
URL: https://www.sciencedirect.com/science/article/pii/S0168007211001278
DOI: http://dx.doi.org/10.1016/j.apal.2011.09.005
Colecciones
Articulos(OCA CIUDAD UNIVERSITARIA)
Articulos de OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA
Citación
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
Compartir
Altmétricas
 

Enviar por e-mail
Separar cada destinatario (hasta 5) con punto y coma.
  • Facebook
  • X Conicet Digital
  • Instagram
  • YouTube
  • Sound Cloud
  • LinkedIn

Los contenidos del CONICET están licenciados bajo Creative Commons Reconocimiento 2.5 Argentina License

https://www.conicet.gov.ar/ - CONICET

Inicio

Explorar

  • Autores
  • Disciplinas
  • Comunidades

Estadísticas

Novedades

  • Noticias
  • Boletines

Ayuda

Acerca de

  • CONICET Digital
  • Equipo
  • Red Federal

Contacto

Godoy Cruz 2290 (C1425FQB) CABA – República Argentina – Tel: +5411 4899-5400 repositorio@conicet.gov.ar
TÉRMINOS Y CONDICIONES