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
Autores principales: Areces, C., Carreiro, F., Figueira, S., Mera, S., Beklemishev L.D., Queiroz R.
Formato: SER
Materias:
Computer circuits
Data structures
Interpolation
Semantics
Additional datum
Definability
Logical language
Modal logic
Model properties
Model theory
Relational Model
Computation theory
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v6642LNAI_n_p20_Areces
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_03029743_v6642LNAI_n_p20_Areces
record_format dspace
spelling todo:paper_03029743_v6642LNAI_n_p20_Areces2023-10-03T15:19:18Z Basic model theory for memory logics Areces, C. Carreiro, F. Figueira, S. Mera, S. Beklemishev L.D. Queiroz R. Computer circuits Data structures Interpolation Semantics Additional datum Definability Logical language Modal logic Model properties Model theory Relational Model Computation theory 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v6642LNAI_n_p20_Areces
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Computer circuits
Data structures
Interpolation
Semantics
Additional datum
Definability
Logical language
Modal logic
Model properties
Model theory
Relational Model
Computation theory
spellingShingle Computer circuits
Data structures
Interpolation
Semantics
Additional datum
Definability
Logical language
Modal logic
Model properties
Model theory
Relational Model
Computation theory
Areces, C.
Carreiro, F.
Figueira, S.
Mera, S.
Beklemishev L.D.
Queiroz R.
Basic model theory for memory logics
topic_facet Computer circuits
Data structures
Interpolation
Semantics
Additional datum
Definability
Logical language
Modal logic
Model properties
Model theory
Relational Model
Computation theory
description 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.
format SER
author Areces, C.
Carreiro, F.
Figueira, S.
Mera, S.
Beklemishev L.D.
Queiroz R.
author_facet Areces, C.
Carreiro, F.
Figueira, S.
Mera, S.
Beklemishev L.D.
Queiroz R.
author_sort Areces, C.
title Basic model theory for memory logics
title_short Basic model theory for memory logics
title_full Basic model theory for memory logics
title_fullStr Basic model theory for memory logics
title_full_unstemmed Basic model theory for memory logics
title_sort basic model theory for memory logics
url http://hdl.handle.net/20.500.12110/paper_03029743_v6642LNAI_n_p20_Areces
work_keys_str_mv AT arecesc basicmodeltheoryformemorylogics
AT carreirof basicmodeltheoryformemorylogics
AT figueiras basicmodeltheoryformemorylogics
AT meras basicmodeltheoryformemorylogics
AT beklemishevld basicmodeltheoryformemorylogics
AT queirozr basicmodeltheoryformemorylogics
_version_ 1807320324987944960

Ejemplares similares