The cornerstone of the theory of modal companions is the Blok–Esakia theorem, proved independently by Wim Blok and Leo Esakia.
模态伙伴理论基石是 Blok–Esakia 定理，由 Wim Blok 和 Leo Esakia 独立证明。