Modal operators on compact regular frames and de Vries algebras. (Q2350317)

In the paper under review, the authors continue their research programme, started with [\textit{G. Bezhanishvili} et al., J. Log. Comput. 25, No. 1, 1-35 (2015; Zbl 1382.03089)], of lifting structures and techniques of modal logic to the setting of compact Hausdorff spaces, de Vries algebras, and compact regular frames. Here, they provide direct, choice-free, proofs of the equivalences between the category \(\mathbf{MKRFrm}\) of modal compact regular frames and each of the categories \(\mathbf{MDV}\) (of modal de Vries algebras), \(\mathbf{LMDV}\) (of lower continuous modal de Vries algebras) and \(\mathbf{UMDV}\) (of upper continuous modal de Vries algebras). Then, they relate modal compact regular frames to \textit{P. T. Johnstone}'s construction, [in Lect. Notes Pure Appl. Math. 101, 155-180 (1985; Zbl 0581.54005)], of the Vietoris functor on frames and discuss a counterpart of the Vietoris functor for de Vries algebras. Finally, they describe an alternative approach to the duality between \(\mathbf{MKRFrm}\) and the category of modal compact Hausdorff spaces obtained by using modal de Vries algebras as an intermediary.