 Typically, a doxastic logic uses formula_1 to mean "It is believed that formula_2 is the case", and the set formula_3 denotes a set of beliefs.In doxastic logic, belief is treated as a modal operator.There is complete parallelism between a person who believes propositions and a formal system that derives propositions.