信念句逻辑(logic of belief statement)是现代逻辑的分支之一。系统研究相信者和被相信命题之间的逻辑关系的理论。信念是与认识直接联系的一个的重要概念。罗素曾说：“整个的理智生活都是由信念，以及从一个信念到另一个信念的所谓的‘推理’组成的。”“我们把信念看成是我们的哲学观的极为重要的支柱”（《心的分析》）信念可以看成由相信者和被相信命题两者形成的一种二元模态。当用x表示相信者，p表示被相信命题时，人们用符号B(x，p)表示x相信命题p。信念通常可理解为:（1）x像他所相信的p那样行动。（2）x倾向于公开接受p。意指，如果恰当的问及x（并且认为x是诚实的），那么他将表示同意p。（3）x承诺的接受p。