The McKinsey-Tarski Theorem for Topological Evidence Logics.

Alexandru Baltag, Nick Bezhanishvili, Sal Fernndez Gonzlez

Browse the full WoLLIC paper archive.