Basic model theory for memory logics

Memory logics is a family of modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent a memory. The logical language includes a collection of operations to access and modify the data structure. In this paper we study basic model pro...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2011
Materias:
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6642LNAI_n_p20_Areces
http://hdl.handle.net/20.500.12110/paper_03029743_v6642LNAI_n_p20_Areces
Aporte de:
Descripción
Sumario:Memory logics is a family of modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent a memory. The logical language includes a collection of operations to access and modify the data structure. In this paper we study basic model properties of memory logics, and prove results concerning characterization, definability and interpolation. While the first two properties hold for all memory logics introduced in this article, interpolation fails in most cases. © 2011, Springer-Verlag Berlin Heidelberg.