Affine modal propositional logic

2026/07/25 by Hafez K. D., Seyed-Mohammad Bagheri
Mathematics · #math.LO

paper · pdf

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.

Citations

• Elements of affine model theory

Related

• Modal logic with the difference modality of topological T₀-spaces
• Homotopies in Classical and Paraconsistent Modal Logics
• Topological Semantics and Decidability
• Generalized topological semantics for weak modal logics
• Modal Logics for Topological Spaces