{"id":"arxiv/2606.31885","url":"https://arxiv.org/abs/2606.31885","tags":["math.LO","cs.LO","math.GN"],"score":0,"title":"Halo Semantics for Modal Logic","domain":"math.LO","source":"arxiv","authors":["Yoàv Montacute"],"reviews":0,"subject":"math.LO","summary":"In nonstandard analysis the halo of a point in a topological space is the intersection of the nonstandard extensions of all its open neighbourhoods. We define a parametric family of modal operators from the halo by varying which elements of the nonstandard extension are admitted as witnesses, and identify four canonical instances. Two recover well-known modalities: the topological closure and the Cantor derivative. A third reduces to Kripke semantics over the specialisation preorder. The fourth, purely nonstandard instance admits only nonstandard witnesses. The Transfer Principle forces it…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-30","reactions":{}}