4 citations · 11 across the 11 of their papers we have counts for
11 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…
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…
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…
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…
Some General Completeness Results for Propositionally Quantified Modal Logics
Yifeng Ding, Yipu Li
We study the completeness problem for propositionally quantified modal logics on quantifiable general frames, where the admissible sets are the propositions the quantifiers can ran…
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +1
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kr…