INVESTIGADORES
FIGUEIRA Santiago
artículos
Título:
Completeness results for Memory Logics
Autor/es:
CARLOS ARECES; SANTIAGO FIGUEIRA; SERGIO MERA
Revista:
ANNALS OF PURE AND APPLIED LOGIC
Editorial:
ELSEVIER SCIENCE BV
Referencias:
Lugar: Amsterdam; Año: 2012 vol. 7 p. 961 - 972
ISSN:
0168-0072
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.
