Affiliation:
1. School of Mathematics and Statistics, Taishan University , Tai’an, 271000, China
Abstract
AbstractIn 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 [13–15, 25]. 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 $\varPi _{2}$-statements. We use an algorithm to transform (restricted) inductive quasi-inequalities and (restricted) inductive $\varPi _{2}$-statements to equivalent first-order correspondents on the dual Stone spaces with two relations with respect to arbitrary (resp. admissible) valuations.
Publisher
Oxford University Press (OUP)
Reference27 articles.
1. Sahlqvist theorems for precontact logics;Balbiani,2012
2. A strict implication calculus for compact Hausdorff spaces;Bezhanishvili;Annals of Pure and Applied Logic,2019
3. Modal compact Hausdorff spaces;Bezhanishvili;Journal of Logic and Computation,2015
4. Irreducible equivalence relations, Gleason spaces, and de Vries duality;Bezhanishvili;Applied Categorical Structures,2017
5. Admissibility of ${\varPi }\_2$-inference rules: interpolation, model completion, and contact algebras;Bezhanishvili;Annals of Pure and Applied Logic,2023