A Note on Logics of Ignorance and Borders

Steinsvold, Christopher

Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, p. 385-392 / Harvested from Project Euclid

Résumé

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 T₁ space

Publié le : 2008-10-15
Classification: epistemic logic, knowledge, ignorance, topology, border, 03B42, 54A99

@article{1224257537,
     author = {Steinsvold, Christopher},
     title = {A Note on Logics of Ignorance and Borders},
     journal = {Notre Dame J. Formal Logic},
     volume = {49},
     number = {1},
     year = {2008},
     pages = { 385-392},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1224257537}
}

Steinsvold, Christopher. A Note on Logics of Ignorance and Borders. Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, pp.  385-392. http://gdmltest.u-ga.fr/item/1224257537/