A Note on Logics of Ignorance and Borders
Christopher Steinsvold · Notre Dame Journal of Formal Logic · 2008
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