Logique doxastique

Pour démontrer les propriétés des ensembles de croyances, Raymond Smullyan définit des types de raisonneurs^[1].

Par exemple, le raisonneur juste ne croit que des choses vraies et le raisonneur normal croit qu'il croit tout ce qu'il croit.

• Portail de la logique