Translator Disclaimer
2008 A Note on Logics of Ignorance and Borders
Christopher Steinsvold
Notre Dame J. Formal Logic 49(4): 385-392 (2008). DOI: 10.1215/00294527-2008-018

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

Download 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

Published: 2008
First available in Project Euclid: 17 October 2008

zbMATH: 1180.03017
MathSciNet: MR2456654
Digital Object Identifier: 10.1215/00294527-2008-018

Subjects:
Primary: 03B42
Secondary: 54A99

Rights: Copyright © 2008 University of Notre Dame

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.49 • No. 4 • 2008
Back to Top