3 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…
cs.LO2023
Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract)
Yuanzhe Yang
In epistemic logic, a way to deal with knowledge-wh is to interpret them as a kind of mention-some knowledge (MS-knowledge). But philosophers and linguists have challenged both the…