模态命题逻辑相关论文
一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年（基于他......
模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异，导致它们之间的定理有一定的差异，推理能力的大小也有所不同。由于定......
