2 papers
cs.LO2026
A General Theory of Propositional Modal Bundled Modalities
Yifeng Ding, Yuanzhe Yang
In studies of bundled modalities, we encode a complex conceptual notion into the semantics of a single modal operator and study its logic. Although there is already a substantial b…
cs.LO2025
Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
Yuanzhe Yang
Impure simplicial complexes are a powerful tool to model multi-agent epistemic situations where agents may die, but it is difficult to define a satisfactory semantics for the ordin…