Author:
Jiang Guifei,Perrussel Laurent,Zhang Dongmo,Zhang Heng,Zhang Yuzhi
Publisher
Springer International Publishing
Reference22 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
2. van Benthem, J.: Modal correspondence theory. Ph.D. thesis, University of Amsterdam (1977)
3. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science);J Benthem van,1984
4. van Benthem, J., Bezhanishvili, N., Enqvist, S.: A new game equivalence and its modal logic. In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), pp. 57–74 (2017)
5. Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献