Basic Model Theory for Memory Logics

Areces, C., Carreiro, F., Figueira, S., and Mera, S.. Basic Model Theory for Memory Logics. In Beklemishev, L. and de Queiroz, R., 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, October 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: (download)

@INCOLLECTION{arec:basi11,
  author = {Areces, C. and Carreiro, F. and Figueira, S. and Mera, S.},
  title = {Basic Model Theory for Memory Logics},
  booktitle = {Proceedings of the 18th International Workshop on Logic, Language,
	Information and Computation (WoLLIC 2011)},
  publisher = {Springer},
  year = {2011},
  editor = {Beklemishev, L. and de Queiroz, R.},
  volume = {6642},
  series = {Lecture Notes in Computer Science},
  pages = {20-34},
  address = {Philadelphia},
  month = {October},
  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},
  isbn = {978-3-642-20919-2}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49