论文标题
准Qualities的通讯和规定理论和$π_2$ - 模态下属代数
Correspondence and Canonicity Theory of Quasi-Inequalities and $Π_2$-Statements in Modal Subordination Algebras
论文作者
论文摘要
在本文中，我们研究了模态下代代数的对应关系和典型性理论，其双石空间具有两个关系，在\ cite {dr20，drhast20，drpa21，sa16}中概括了从属代数的对应关系结果。由于模态下代代数的语言涉及二进制从属关系，因此我们会发现使用所谓的准Qualities和$π_2$ statements很方便。我们使用算法来转换（受限制的）归纳式准Qualities和（受限制的）电感$π_2$ - 陈述在双石空间上等效的一阶通讯员，与两种关系有关（sesp。
In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in \cite{dR20,dRHaSt20,dRPa21,Sa16}. Due to the fact that the language of modal subordination algebras involves a binary subordination relation, we will find it convenient to use the so-called quasi-inequalities and $Π_2$-statements. We use an algorithm to transform (restricted) inductive quasi-inequalities and (restricted) inductive $Π_2$-statements to equivalent first-order correspondents on the dual Stone spaces with two relations with respect to arbitrary (resp.\ admissible) valuations.
