Yamamoto, K. (2026). A full formal representation of Arrow’s impossibility theorem. PLoS ONE. https://doi.org/10.1371/journal.pone.0343069