Author:
Cassano Valentin,Fervari Raul,Areces Carlos,Castro Pablo F.
Publisher
Springer International Publishing
Reference35 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Amir,2002
2. Antoniou, G., Wang, K.: Default logic. In: Gabbay, D., Woods, J. (eds.) The Many Valued and Nonmonotonic Turn in Logic. Handbook of the History of Logic, vol. 8, pp. 517–555. North-Holland (2007)
3. Areces, C., Blackburn, P., Marx, M.: Hybrid logics: characterization, interpolation and complexity. J. Symb. Logic 66(3), 977–1010 (2001)
4. Areces, C., de Rijke, M.: Interpolation and bisimulation in temporal logic. In: Workshop on Logic, Language, Information and Computation (WoLLIC 1998), pp. 15–21 (1998)
5. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 821–868. Elsevier (2006)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献