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

Ejemplares similares

Ejemplares similares