Subject
Applied Mathematics,Logic
Reference13 articles.
1. The modal μ-calculus alternation hierarchy is strict;Bradfield;Theoret. Comput. Sci.,1998
2. Logical questions concerning the μ-calculus: Interpolation, Lyndon and Los-Tarski;D'Agostino;J. Symbolic Logic,2000
3. An axiomatization of bisimulation quantifiers via the mu-calculus;D'Agostino;Theoret. Comput. Sci.,2005
4. A sheaf representation and duality for finitely presented Heyting algebras;Ghilardi;J. Symbolic Logic,1995
5. M. Hollenberg, Logic and bisimulation, PhD Thesis, University of Utrecht, vol. XXIV, Zeno Institute of Philosophy, 1998
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Knowledge forgetting in propositional μ-calculus;Annals of Mathematics and Artificial Intelligence;2022-09-26
2. A general multi-agent epistemic planner based on higher-order belief change;Artificial Intelligence;2021-12
3. On the size of disjunctive formulas in the μ-calculus;Electronic Proceedings in Theoretical Computer Science;2021-09-17
4. Forgetting in multi-agent modal logics;Artificial Intelligence;2019-01
5. $$\mu $$ μ -Levels of Interpolation;Larisa Maksimova on Implication, Interpolation, and Definability;2018