侦查思维中的真势模态推理系统
真势模态推理系统也称真势模态演算系统，包括真势模态判断推理系统和真势模态谓词演算系统，它是在复合推理规则构成的演算系统和谓词推理规则构成的演算系统的基础上增加若干公理和初始规则直接扩张得到的正则推理系统。鉴于真势模态判断推理系统在侦查思维中运用得更加普遍，因此笔者在这里仅仅介绍真势模态判断推理系统。
（一）K系统
K系统是在判断推理规则构成的演算系统P的基础上增加K公理和初始规则N得到的，即：
K（系统）=P+K（公理）+N
K公理的内容是：从前提“必然（如果P那么Q）”推出“如果必然P那么必然Q”。
初始规则N也称必然化规则，其内容是：如果某前提集能够推出结论“A”，那么从该前提集能够推出结论“必然A”。
（二）D系统和T系统
这两个真势模态判断推理系统都是在系统K的基础上增加不同公理得到的。
1.D系统
D系统是在真势模态判断推理演算系统K的基础上增加D公理得到的，即
D（系统）=K（系统）+D（公理）
D公理的内容是：从前提“必然P”推出“可能P”。
因为K（系统）=P+K（公理）+N，所以：
D（系统）=P+K（公理）+N+D（公理）
2.T系统
T系统是在真势模态判断推理系统K的基础上增加T公理得到的，即：
T（系统）=K（系统）+T（公理）
T公理也称必然性公理，它的内容是：从前提“必然P”推出“（事实）P”。
因为K（系统）=P+K（公理）+N，所以：(https://www.daowen.com)
T（系统）=P+K（公理）+N+T（公理）
（三）S4系统、S5系统、B系统
这几个真势模态判断推理系统都是在系统T的基础上增加不同公理得到的。
1.S4系统
S4系统是在真势模态判断演算系统T的基础上增加公理4得到的，即
S4=T（系统）+4
公理4的内容是：从前提“必然P”推出“必然必然P”。
因为T（系统）=P+K（公理）+N+T（公理），所以：
S4=P+K（公理）+N+T（公理）+4
2.S5系统
S5系统是在真势模态判断推理系统T的基础上增加公理E得到的，即
S5=T（系统）+5
公理5的内容是：从前提“可能P”推出“必然可能P”。
因为T（系统）=P+K（公理）+N+T（公理），所以：
S5=P+K（公理）+N+T（公理）+5
3.B系统
B系统是在真势模态判断推理系统T的基础上增加公理B得到的，即
B（系统）=T（系统）+B（公理）
公理B的内容是：从前提“（事实）P”推出“必然可能P”。
因为T（系统）=P+K（公理）+N+T（公理），所以：
B（系统）=P+K（公理）+N+T（公理）+B（公理）