Author:
Afshari Bahareh,Leigh Graham E.
Publisher
Springer International Publishing
Reference24 articles.
1. Afshari, B., Leigh, G.E.: Finitary proof systems for Kozen’s $$\mu $$. Oberwolfach Preprint Series 2016-26, Mathematisches Forschungsinstitut Oberwolfach (2016)
2. Afshari, B., Leigh, G.E.: Cut-free completeness for modal $$\mu $$-calculus. In: Proceeding of Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Lecture Notes in Computer Science. Springer, Cham (2017)
3. Bradfield, J., Stirling, C.: Modal mu-calculi. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 721–756. Elsevier, Amsterdam (2007)
4. Bradfield, J., Walukiewicz, I.: The $$\mu $$-calculus and model checking. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 871–919. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_26
5. D’Agostino, G.: Interpolation in non-classical logics. Synthese 164(3), 421–435 (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献