Halo semantics define four modal operators from nonstandard analysis; the new ω-accumulation operator satisfies Axiom 4 universally and supports K4 completeness on infinite spaces and GL on infinite ω-scattered spaces.
Aull & Wolfgang J
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Halo Semantics for Modal Logic
Halo semantics define four modal operators from nonstandard analysis; the new ω-accumulation operator satisfies Axiom 4 universally and supports K4 completeness on infinite spaces and GL on infinite ω-scattered spaces.