Doxastic mantık türüdür modal mantık inançları hakkında akıl yürütme ilgilenen edilir.
Raymond Smullyan , inanç setlerinin özelliklerini göstermek için akılcı türlerini tanımlar.
Örneğin, doğru akılcı yalnızca doğru şeylere inanır ve normal akılcı inandığı her şeye inandığına inanır.