I am looking for literature on mathematical models of (political) voting schemes. Concretely, I am interested in models that allow votes of the following form:
"I am voting for $X$, but only if $>40\%$ of my peers vote for them, too. Otherwise, I'd like to vote for $Y$ instead."
In that sense, I'd like to consider votes to be scripts over some language. I got this idea from Bitcoin where money isn't actually sent to specific accounts, but rather scripts are given that determine who may redeem that money.
A naive model
To give you a more precise idea, I have come up with the following (naive) model of scriptable votes:
Let $C$ be a set of candidates, e.g. $C = \{\text{rep},\text{dem}\}$ for republicans and democrates. An election outcome $O \in \mathrm{ProbDists}(C)$ is a probability distribution on $C$. For finite $C$, this is known as a normalized histogram. A vote $v$ is a mathematical function $v\colon \mathrm{ProbDists}(C) \to C$, which – given a putative outcome – decides which candidate to vote for.
In most elections around the world, all votes are constant functions: e.g. if you mark your cross for republicans, in the above model you would cast the constant function $v \equiv \mathrm{rep}$. And if you marked democrates, you would cast $v' \equiv \mathrm{dem}$ instead.
Importantly, our model also supports votes as in the quote above: $$v^\text{example}(O = \{p_\mathrm{rep}, p_\mathrm{dem}\})=\begin{cases} \mathrm{rep} & \text{if } p_\mathrm{rep} > 0.4\\ \mathrm{dem} & \text{else} \end{cases}$$ where the notation $O = \{p_\mathrm{rep}, p_\mathrm{dem}\}$ is syntactic sugar for extracting the probabilities assigned to $\mathrm{rep}$ and $\mathrm{dem}$, respectively. Here, you see that $v^\text{example}$ is a script over the usual mathematical language. But given some votes how do we determine the (final) outcome?
Let $V = v_1,\ldots,v_N$ be the multiset of cast votes. An admissible outcome of an election $(C, V)$ is an election outcome $O \in \mathrm{ProbDists}(C)$ such that the multiset $\{v_1(O),\ldots,v_N(O)\}$, interpreted as a normalized histogram on $C$, equals $O$. We can see this as some kind of fixpoint.
Examples. Let $C$ and $v := v^\text{example}$ as above.
For the election $(C, \{v\})$, i.e. with $v$ being the only vote, we have two admissible outcomes: $O_1 = \{p_\mathrm{rep} \mapsto 1, p_\mathrm{dem} \mapsto 0\}$ and $O_2 = \{p_\mathrm{rep} \mapsto 0, p_\mathrm{dem} \mapsto 1\}$. For $(C, \{v, v\})$, we have the same two outcomes. The same holds true for three, four, and arbitrarily many copies of $v$.
Consider a new kind of vote $w(O) \equiv \mathrm{dem}$ that always votes for democrates. The election $(C, \{v,w\})$ has two admissable outcomes: $O_1 = \{p_\mathrm{rep} \mapsto 0.5, p_\mathrm{dem} \mapsto 0.5\}$ and $O_2 = \{p_\mathrm{rep} \mapsto 0, p_\mathrm{dem} \mapsto 1\}$. In the latter case, the vote $v$ "noticed" that they will never be surrounded by a like-minded peer group of size $> 40\%$ and hence switched its candidate it voted for.
Research Questions
Concerning scriptable votes, some broad questions I'd be interested in are:
Does every election have at least one admissible outcome? If not, can we relax the conditions on admissible outcomes to just choose the best ones?
How much influence do individual votes have? Is the function that maps $(C, V)$ to a set of admissible outcomes continuous in some sense?
Are mathematical functions for votes really the best model? While if conditions like $p_\mathrm{rep} > 0.4$ sound reasonable (and interesting), should we perhaps disallow conditioning on equalities such as $p_\mathrm{rep} = 0.4578$? Perhaps votes should be scripts over a tailored domain-specific language. How do their properties such as being total (exceptions?) or deterministic (probabilistic?) affect the questions above?