Halo Semantics for Modal Logic

Yoà v Montacute

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 o…