Kripke相关论文
模型检验产生于20世纪80年代初，由美国的clarke和Emerson提出的。主要思想是：将要验证的系统抽象为有限状态机，用时态逻辑描述系统应......
克里普克在《命名与必然性》中讨论自然种类词时,拒绝接受穆勒关于普遍名称的理论.他认为:自然种类词也像专名一样是严格指示词,而......
