Arrow Research search
Back to KR

KR 2004

Majority Logic

Conference Paper Knowledge Representation

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