Xiaoxuan Fu, Zhiguang Zhao. Correspondence Theory of Modal Logic with Counting. In Lotte Hogeweg, Raheleh Jalali, Igor Sedlár, Lena Schwarz, editors, Logic, Language, and Computation - 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers. Volume 15661 of Lecture Notes in Computer Science, pages 199-221, Springer, 2023. [doi]
Abstract is missing.