4 papers
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…
Characterizations of voting rules based on majority margins
Yifeng Ding, Wesley H. Holliday, Eric Pacuit
In the context of voting with ranked ballots, an important class of voting rules is the class of margin-based rules (also called pairwise rules). A voting rule is margin-based if w…
A discrete-time temporal deontic STIT logic based on interpreted systems
Shuge Rong, Yifeng Ding
We present a STIT ('see to it that') logic with discrete temporal operators and deontic operators in which we can formalize and reason about legal concepts such as persistent duty…
The Logics of Individual Medvedev Frames
Zhicheng Chen, Yifeng Ding
Let -Medvedev's logic be the intuitionistic logic of Medvedev frames based on the non-empty subsets of a set of size , which we call -Medvedev frames. Whil…