@article {42,
	title = {Completeness Results for Memory Logics},
	journal = {Annals of Pure and Applied Logic},
	volume = {163},
	year = {2012},
	month = {07/2012},
	pages = {961-972},
	abstract = {Memory logics are a family of modal logics in which standard relational struc-
tures are augmented with data structures and additional operations to modify
and query these structures. In this paper we present sound and complete ax-
iomatizations for some members of this family. We analyse the use of nominals
to achieve completeness, and present one example in which they can be avoided.},
	keywords = {Completeness, Hybrid Logics, Memory Logics, Modal logics},
	issn = {0168-0072},
	doi = {10.1016/j.apal.2011.09.005},
	url = {http://www.sciencedirect.com/science/article/pii/S0168007211001278},
	author = {Carlos Areces and Santiago Figueira and Sergio Mera}
}