Affine modal propositional logic
Topological semantics for affine modal propositional logic is introduced. The interior operator on subsets is replaced with the lower semi-continuous envelope operator on functions. Completeness and affine compactness theorems are proved for this logic.
math.LO↗