PP-2017-06: Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde (2017) A simple propositional calculus for compact Hausdorff spaces. [Pre-print]
MoL-2016-06: Santoli, Thomas (2016) Logics for Compact Hausdorff Spaces via de Vries Duality. [Report]