Author:
van Benthem Johan,Liu Fenrong
Reference43 articles.
1. Ågotnes, T., and H. van Ditmarsch. 2011. What will they say? Public announcement games. Synthese KRA 179 (1): 57–85.
2. Aigner, M., and M. Fromme. 1984. A game of cops and robbers. Discrete Applied Mathematics 8 (1): 1–12.
3. Areces, C., F. Carreiro, S. Figueira, and S. Mera. 2011. Expressive power, and decidability for memory logics. In Proceedings WoLLIC, 2008. Lecture notes in computer science, vol. 6642, 20–34. Berlin: Springer.
4. Areces, C., R. Fervari, and G. Hoffmann. 2015. Relation-changing modal operators. Logic Journal of the IGPL 23: 601–627.
5. Areces, C., D. Figueira, S. Figueira, and S. Mera. 2008. Basic model theory, and for memory logics. In Proceedings WoLLIC, 2011. Lecture notes in computer science, vol. 5110, 56–68. Berlin: Springer.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献