A Note on Logics of Ignorance and Borders

Notre Dame Journal of Formal Logic 49 (4):385-392 (2008)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2008-018

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
The completeness of an intensional logic: definite topological logic.James W. Garson - 1973 - Notre Dame Journal of Formal Logic 14 (2):175-184.
A topological completeness theorem for a weak version of Stalnaker's logic of knowledge and belief.Thomas Mormann - manuscript
The Incompleteness of S4 {bigoplus} S4 for the Product Space.Philip Kremer - 2015 - Studia Logica 103 (1):219-226.
Topological Models of Belief Logics.Christopher Steinsvold - 2007 - Dissertation, Cuny Graduate Center
A Proof Of Topological Completeness For S4 In.Giorgi Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
Strong Completeness of S4 for the Real Line.Philip Kremer - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 291-302.

Analytics

Added to PP
2010-09-13

Downloads
43 (#500,707)

6 months
7 (#655,041)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christopher Steinsvold
Brooklyn College (CUNY)

Citations of this work

Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
A Logical Modeling of Severe Ignorance.Stefano Bonzio, Vincenzo Fano & Pierluigi Graziani - 2023 - Journal of Philosophical Logic 52 (4):1053-1080.
Reflexive-insensitive modal logics.David R. Gilbert & Giorgio Venturi - 2016 - Review of Symbolic Logic 9 (1):167-180.
Bimodal Logics with Contingency and Accident.Jie Fan - 2019 - Journal of Philosophical Logic 48 (2):425-445.

View all 26 citations / Add more citations

References found in this work

The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
A Grim Semantics For Logics of Belief.Christopher Steinsvold - 2008 - Journal of Philosophical Logic 37 (1):45-56.

Add more references