Verified Construction of Fair Voting Rules

DOI10.1007/978-3-030-45260-5_6zbMath1504.91095OpenAlexW3019201640MaRDI QIDQ5097629

Karsten Diekhoff, Michael Kirsten, Jonas Krämer

Publication date: 25 August 2022

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://publikationen.bibliothek.kit.edu/1000120007

zbMATH Keywords

higher-order logicsocial choicemodular verification

Mathematics Subject Classification ID

Voting theory (91B12) Specification and verification (program logics, model checking, etc.) (68Q60) Social choice (91B14) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Isabelle/HOL
• Democratix

Cites Work

• Unnamed Item
• Unnamed Item
• Isabelle/HOL. A proof assistant for higher-order logic
• Democratix: A Declarative Approach to Winner Determination
• Evaluation and Optimization of Electoral Systems
• Analysing Vote Counting Algorithms via Logic
• Handbook of Computational Social Choice

This page was built for publication: Verified Construction of Fair Voting Rules