A calculus for modal compact Hausdorff spaces

Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1

The symmetric strict implication calculus ${\mathsf{S}}^2\mathsf{IC}$ is a modal calculus for compact Hausdorff spaces. This is established through de Vries duality, linking compact Hausdorff…