1. Areces, C.: Logic engineering. The case of description and hybrid logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands (2000)
2. Areces, C., Blackburn, P., Marx, M.: A road-map on complexity for hybrid logics. In: Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic, CSL ’99, pp. 307–321. Springer, London (1999)
3. Areces, C., Blackburn, P., Delany, S.R.: Bringing them all together. J. Log. Comput. 11, 657–669 (2001)
4. Areces, C., Carreiro, F., Figueira, S., Mera, S.: Basic model theory for memory logics. In: WoLLIC, pp. 20–34 (2011)
5. Barringer, H., Gabbay, D.M.: Modal and temporal argumentation networks. In: Essays in Memory of Amir Pnueli, pp. 1–25 (2010)