4 citations · 11 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.LO2025
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…
econ.TH2025
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…