认识逻辑(4):关于认识逻辑的可判定性
인식라집(4):관우인식라집적가판정성
EPISTEMIC LOGIC(4):ON THE DECIDABILITY OF EPISTEMIC LOGIC
  • 万方数据
    计算机学报 계산궤학보
    CHINESE JOURNAL OF COMPUTERS
    1998年 z1期 9-16 ,共8页

    刘瑞胜%孙吉贵%刘叙华

    류서성%손길귀%류서화

    模态逻辑%认识逻辑%可判定性%语义tableau 模態邏輯%認識邏輯%可判定性%語義tableau
    모태라집%인식라집%가판정성%어의tableau
    判定问题是逻辑研究中的重要问题.本文讨论了关于带有索引的认识逻辑ELI的基于语义tableau方法的判定过程,阐明了ELI的Mwff的可判定性.由于认识逻辑EL的公式与ELI的Mwff是对应的,因而,认识逻辑EL也是可判定的.
    판정문제시라집연구중적중요문제.본문토론료관우대유색인적인식라집ELI적기우어의tableau방법적판정과정,천명료ELI적Mwff적가판정성.유우인식라집EL적공식여ELI적Mwff시대응적,인이,인식라집EL야시가판정적.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문