Abstract
We present and show topological completeness for LB, the logic of the topological border. LB is also a logic of epistemic ignorance. Also, we present and show completeness for LUT, the logic of unknown truths. A simple topological completeness proof for S4 is also presented using a T1 space
Citation
Christopher Steinsvold. "A Note on Logics of Ignorance and Borders." Notre Dame J. Formal Logic 49 (4) 385 - 392, 2008. https://doi.org/10.1215/00294527-2008-018
Information