Completeness results for memory logics

Mostrar todas las versiones(2)

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 nom...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Areces, C., Figueira, S., Mera, S.
Formato: SER
Materias:
Complete axiomatizations
Modal logic
Relational structures
Data structures
Computer science
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5407LNCS_n_p16_Areces
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares