Majority Logic

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 598-605

  Pacuit, Eric ^a   Salame, Samer ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

AXIOMATI-SATION; GRADED MODAL LOGIC; SOUNDNESS AND COMPLETENESS;

COMPUTER CIRCUITS;

EID: 31144451435     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Blackburn, P.; de Rijke, M.; and Venema, Y. 2001. Modal Logic. Cambridge University.
2. Brams, S., and Fishburn, P. 2002. voting procedures. Handbook of social science and welfare 1.
3. Caro, F. D. 1988. Graded modalities, ii (canonical models). Studia logica 47:1-10.
4. de Rijke, M. 2000. A note on graded modal logic. Studia Logica 64:271-283.
5. Fattorosi-Barnaba, M., and Cerrato., C. 1988. Graded modalities i. Studia Logica 47:99-110.
6. Fey, M. 2002. Mey's theorem with an infinite population. Research report, University of Rochester.
7. Fine, K. 1972. In so many possible worlds. Notre Dame Journal of formal logic 13(4):516-520.
8. Goble, L. 1970. Grades of modality. Logique et Analyse 13:323-334.
9. H. J. Ohlbach, R. A. S., and Hustadt, U. 1995. Proof theory and modal logic. 245-285.
10. Parikh, R. 2002. Social software. Synthese 132:187-211. Tobies, S. 2001. Pspace reasoning for graded modal logics. Journal of Logic and Computation 11(1):85-106.