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.
Cite
CITATION STYLE
APA
Pacuit, E., & Salame, S. (2004). Majority Logic. In Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004 (pp. 598–605). AAAI Press. https://doi.org/10.1007/978-3-319-43174-1_3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free