克里普克语义相关论文
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α-重言式.最后根据模糊关系R的不同情况讨论了相应的......
讨论了时序命题逻辑系统MPTL模糊化的问题,给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念,并讨论了广义重言式的分......
