Author:
Docherty Simon,Rowe Reuben N. S.
Publisher
Springer International Publishing
Reference40 articles.
1. Afanasiev, L., et al.: PDL for ordered trees. J. Appl. Non-Classical Logics 15(2), 115–135 (2005)
2. Alberucci, L.: The Modal $$\mu $$ -calculus and the Logic of Common Knowledge. Ph.D. thesis, Universität Bern (2002)
3. Balbiani, P., Vakarelov, D.: PDL with intersection of programs: a complete axiomatization. J. Appl. Non-Classical Logics 13(3–4), 231–276 (2003)
4. Van Benthem, J.: Modal frame correspondences and fixed-points. Studia Logica 83(1), 133–155 (2006)
5. Lecture Notes in Computer Science;J Brotherston,2012
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献