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:
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: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:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares