Drawing on the so-called `doctrinal paradox`, List and Pettit (2002a) have shown that, given an unrestricted domain condition, there exists no procedure for aggregating individual sets of judgments over multiple interconnected propositions into corresponding collective ones, where the procedure...

The paper surveys the currently available axioma.tizations of common belief (CB) and common knowledge (CK) by means of modal propositionallogic:s. (Throughout, knowledge - whether individual or common - is defined as true belief.) Section 1 introduces the formal method ofaxiomatization followed...