Title: A logical system of municipal elections