Author:
Marti Johannes,Venema Yde
Publisher
Springer International Publishing
Reference26 articles.
1. Afshari, B., Leigh, G.: Cut-free completeness for modal mu-calculus. In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2017), pp. 1–12. IEEE Computer Society (2017)
2. Alberucci, L., Facchini, A.: The modal $$\mu $$-calculus over restricted classes of transition systems. J. Symb. Log. 74(4), 1367–1400 (2009)
3. Andreoli, J.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2, 297–347 (1992)
4. Arnold, A., Niwiński, D.: Rudiments of $$\mu $$-calculus. Studies in Logic and the Foundations of Mathematics, vol. 146. North-Holland Publishing Co., Amsterdam (2001)
5. Bradfield, J., Stirling, C.: Modal $$\mu $$-calculi. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) Handbook of Modal Logic, pp. 721–756. Elsevier (2006)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献