Author:
Litak Tadeusz,Pattinson Dirk,Sano Katsuhiko,Schröder Lutz
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)
2. van Benthem, J.: Modal Correspondence Theory. Ph.D. thesis, Department of Mathematics, University of Amsterdam (1976)
3. ten Cate, B., Gabelaia, D., Sustretov, D.: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2), 146–170 (2009)
4. Chang, C.: Modal model theory. In: Cambridge Summer School in Mathematical Logic. LNM, vol. 337, pp. 599–617. Springer (1973)
5. Chellas, B.: Modal Logic. Cambridge University Press (1980)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献