发表机构
Tarbiat Modares University（塔比尔·莫达雷斯大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究仿射模态命题逻辑，通过用下半连续包络算子取代内部算子，证明了该逻辑的完备性和仿射紧致性定理。
AI 中文摘要
引入了仿射模态命题逻辑的拓扑语义。用函数上的下半连续包络算子取代子集上的内部算子。证明了该逻辑的完备性和仿射紧致性定理。
英文摘要
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.
