研究和“相信”有关的逻辑问题的学说。现代逻辑的一个分支。“相信”是一种关系，一种由相信者与被相信命题两者所形成的二元模态关系。相信逻辑要对这种关系提出起码的、合理的条件，如一致性（“如果x相信p，则x不相信非p”）、衍推性（“如果x相信p，而且q明显地是p的后承，则x相信q”）等等。