collaborators

1 paper

math.LO2026

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…