Pour démontrer les propriétés des ensembles de croyances, Raymond Smullyan définit des types de raisonneurs. - Par exemple, le raisonneur juste ne croit que des choses vraies et le raisonneur normal croit qu`il croit tout ce qu`il croit.et références