克里普克结构相关论文
经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的......
This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Krip-ke structures ......
对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含......
