PreprintarXiv licencearXiv
Affine modal propositional logic
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.
Related
- Failure of Higher-Order Truth within Intuitionistic Propositional Logic
- Propositional Dynamic Logic with Program Costs
- On the foundations of logic and probability, II. Modal probability spaces
- Fine Selection for Intuitionistic Modal Logic
- On the foundations of logic and probability, I. Modal sentential calculi
BibTeX
@misc{k2026affine,
title = {{Affine modal propositional logic}},
author = {Hafez K. D. and Seyed-Mohammad Bagheri},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2607.23323},
eprint = {2607.23323},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2607.23323},
}
RIS
TY - UNPB
TI - Affine modal propositional logic
AU - Hafez K. D.
AU - Seyed-Mohammad Bagheri
PY - 2026
DA - 2026/09/16
PB - arXiv
DO - 10.48550/arxiv.2607.23323
UR - https://arxiv.org/abs/2607.23323
AB - 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.
ER -