Basic Model Theory for Memory Logics

C. Areces, F. Carreiro, S. Figueira, and S. Mera. Basic Model Theory for Memory Logics. In L. Beklemishev and R. de Queiroz, editors, Proceedings of the 18th International Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Lecture Notes in Computer Science, pp. 20–34, Springer, Philadelphia, 2011.

Download

[pdf] 

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.

BibTeX

@InCollection{Areces2011a,
  author =       "C. Areces and F. Carreiro and S. Figueira and S.
                 Mera",
  booktitle =    "Proceedings of the 18th International Workshop on
                 Logic, Language, Information and Computation (WoLLIC
                 2011)",
  publisher =    "Springer",
  title =        "Basic Model Theory for Memory Logics",
  year =         "2011",
  address =      "Philadelphia",
  editor =       "L. Beklemishev and R. de Queiroz",
  ISBN =         "978-3-642-20919-2",
  pages =        "20--34",
  series =       "Lecture Notes in Computer Science",
  volume =       "6642",
  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.",
  bibsource =    "DBLP, http://dblp.uni-trier.de",
  ee =           "http://dx.doi.org/10.1007/978-3-642-20920-8_8",
}