Jul 2026
Cover Semantics for Intuitionistic Modalities
A conservative extension of relational cover semantics is presented that alleviates a restriction that restricts the class of models and complicates model construction and is amenable to simpler and standard model construction techniques.
Nachiappan Valliappan
· arXiv.org · 0 citations