Affine modal propositional logic

Hafez K. D., Seyed-Mohammad Bagheri

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…