{"id":"arxiv/2606.04026","url":"https://arxiv.org/abs/2606.04026","tags":["math.LO"],"score":0,"title":"Visibility Theory","domain":"math.LO","source":"arxiv","authors":["Frode Alfson Bjørdal"],"reviews":0,"subject":"math.LO","summary":"This paper develops Visibility Theory (VT), a framework in which visibility is taken as the primitive semantic notion and truth is defined in terms of visibility together with a structural condition called step-identity. The theory is formulated in a classical setting and supplied with a revision-theoretic semantics. Visibility theory includes a provability logic KDC, characterized by seriality and confluence and shown to be strongly complete by standard Sahlqvist-theoretic methods. The framework distinguishes between visions, propositions, sets, and truths. Propositions are identified with…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-01","reactions":{}}