Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference28 articles.
1. Alur, R., T. Henzinger, and O. Kupferman, Alternating-time temporal logic, in Journal of the ACM, IEEE Computer Society Press, 1997, pp. 100–109.
2. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, New York, NY, USA, 2001.
3. Chang, C. C., Modal model theory, in A. R. D. Mathias, and H. Rogers, (eds.), Cambridge Summer School in Mathematical Logic, New York: Springer Verlag, 1973, pp. 599–617.
4. Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, 1980.
5. Došen, K., Duality between modal algebras and neighbourhood frames, Studia Logica 48(2): 219–234, 1989.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献