Xiaoxuan Fu, Zhiguang Zhao. Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. In Andreas Herzig, Jieting Luo, Pere Pardo, editors, Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings. Volume 14156 of Lecture Notes in Computer Science, pages 11-24, Springer, 2023. [doi]
Abstract is missing.