Sciweavers

Share
KR
2004
Springer

Majority Logic

9 years 2 months ago
Majority Logic
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness proofs. Along the way, we must answer the question what is a majority of an infinite set? Majority spaces are introduced as a solution to this question.
Eric Pacuit, Samer Salame
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where KR
Authors Eric Pacuit, Samer Salame
Comments (0)
books