Affine modal propositional logic
Logic
2026-07-25 v1
Abstract
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.
Cite
@article{arxiv.2607.23323,
title = {Affine modal propositional logic},
author = {Hafez K. D. and Seyed-Mohammad Bagheri},
journal= {arXiv preprint arXiv:2607.23323},
year = {2026}
}