Author:
Hansen Helle Hvid,Kupke Clemens,Marti Johannes,Venema Yde
Publisher
Springer International Publishing
Reference29 articles.
1. Berwanger, D.: Game logic is strong enough for parity games. Stud. Logica 75(2), 205–219 (2003)
2. Bradfield, J., Stirling, C.: Modal $$\mu $$ μ -calculi. In: Handbook of Modal Logic, pp. 721–756. Elsevier (2006)
3. Carreiro, F., Venema, Y.: PDL inside the $$\mu $$ μ -calculus: a syntactic and an automata-theoretic characterization. In: Goré, R., Kooi, B., Kurucz, A. (eds.) Advances in Modal Logic, vol. 10, pp. 74–93. College Publications (2014)
4. Carreiro, F.: Fragments of fixpoint logics. Ph.D. thesis, University of Amsterdam (2015)
5. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献