Size measures and alphabetic equivalence in the μ-calculus-Reference-Cited by-同舟云学术

Size measures and alphabetic equivalence in the μ-calculus

Published:2022-08-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Kupke Clemens¹,Marti Johannes²,Venema Yde²

Affiliation:

1. Computer & Information Sciences, University of Strathclyde, United Kingdom

2. Institute for Logic, Language and Computation, University of Amsterdam, Netherlands

Funder

Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Leverhulme Trust

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3531130.3533339

Reference23 articles.

1. B. Afshari and G. Leigh . 2017. Cut-free Completeness for Modal Mu-Calculus . In Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic In Computer Science (LICS’17) . IEEE Computer Society, 1–12. B. Afshari and G. Leigh. 2017. Cut-free Completeness for Modal Mu-Calculus. In Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic In Computer Science (LICS’17). IEEE Computer Society, 1–12.

2. A. Arnold and D. Niwiński. 2001. Rudiments of μ-calculus. Studies in Logic and the Foundations of Mathematics Vol. 146. North-Holland Publishing Co. Amsterdam. A. Arnold and D. Niwiński. 2001. Rudiments of μ-calculus. Studies in Logic and the Foundations of Mathematics Vol. 146. North-Holland Publishing Co. Amsterdam.

3. J. Bradfield and C. Stirling. 2006. Modal μ-calculi. In Handbook of Modal Logic J. van Benthem P. Blackburn and F. Wolter (Eds.). Elsevier 721–756. J. Bradfield and C. Stirling. 2006. Modal μ-calculi. In Handbook of Modal Logic J. van Benthem P. Blackburn and F. Wolter (Eds.). Elsevier 721–756.

4. On guarded transformation in the modal -calculus

5. Deciding parity games in quasipolynomial time

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generic Model Checking for Modal Fixpoint Logics in COOL-MC;Lecture Notes in Computer Science;2023-12-30

2. COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description);Automated Deduction – CADE 29;2023