KR 2004
Majority Logic
Abstract
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.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- International Conference on Principles of Knowledge Representation and Reasoning
- Archive span
- 2002-2025
- Indexed papers
- 1109
- Paper id
- 852651768568215380