Basic model theory for memory logics

Authors:
Carlos Areces;Facundo Carreiro;Santiago Figueira;Sergio Mera
Affiliations:
INRIA Nancy Grand Est, Nancy, France;Dto. Computación, FCEN, Universidad de Buenos Aires, Argentina;Dto. Computación, FCEN, Universidad de Buenos Aires, Argentina and CONICET, Argentina;Dto. Computación, FCEN, Universidad de Buenos Aires, Argentina
Venue:
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Year:
2011

Citing 4
Cited 1

Modal logic

Modal logic
Expressive Power and Decidability for Memory Logics

WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Completeness Results for Memory Logics

LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Tableaux and Model Checking for Memory Logics

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Global view on reactivity: switch graphs and their logics

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.