TY - JOUR
AU1 - Zhao, Zhiguang
AB - In the present paper, we obtain a Jónsson-style canonicity proof for the Sahlqvist fragment of distributive modal $\mu $-calculus in clopen semantics, alternative to the canonicity-via-correspondence argument in Conradie and Craig (2017, Journal of Logic and Computation, 27, 705–748), generalizing the results in Bezhanishvili and Hodkinson (2012, Theoretical Computer Science, 424, 1–19). The key ingredient of this proof is a characterization result about $\sigma $-contracting maps.
TI - Jónsson-style canonicity in distributive modal µ-calculus
JF - Logic Journal of the IGPL
DO - 10.1093/jigpal/jzab032
DA - 2021-12-10
UR - https://www.deepdyve.com/lp/oxford-university-press/j-nsson-style-canonicity-in-distributive-modal-calculus-QLTEBq4HC7
SP - 401
EP - 421
VL - 31
IS - 3
DP - DeepDyve
ER -