We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Jónsson-style canonicity in distributive modal µ-calculus.
- Authors
Zhao, Zhiguang
- Abstract
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.
- Subjects
DISTRIBUTIVE lattices; MODAL logic; COMPUTER science; LOGIC; CALCULUS; SEMANTICS
- Publication
Logic Journal of the IGPL, 2023, Vol 31, Issue 3, p401
- ISSN
1367-0751
- Publication type
Article
- DOI
10.1093/jigpal/jzab032