1. A really temporal logic;Alur,1989
2. C. Areces, Hybrid logics: the old and the new, in: Proceedings of LogKCA-07, San Sebastian, Spain, 2007, pp. 15–29.
3. Expressive power and decidability for memory logics;Areces,2008
4. The expressive power of memory logics;Areces;The Review of Symbolic Logic,2011
5. C. Areces, B. ten Cate, Hybrid logics, in: Blackburn et al. [9], pp. 821–868.