认识逻辑(3):基于语义tableau的证明理论
인식라집(3):기우어의tableau적증명이론
EPISTEMIC LOGIC(3):ON SEMANTIC TABLEAU PROOF PROCEDURE
  • 万方数据
    计算机学报 계산궤학보
    CHINESE JOURNAL OF COMPUTERS
    1998年 z1期 1-8 ,共8页

    刘瑞胜%孙吉贵%刘叙华

    류서성%손길귀%류서화

    模态逻辑%认识逻辑%语义tableau%证明理论 模態邏輯%認識邏輯%語義tableau%證明理論
    모태라집%인식라집%어의tableau%증명이론
    本文定义了带有索引的认识逻辑ELI,讨论了ELI的语义tableau的证明过程,证明了模态tableau的相容性和完备性.由于ELI与认识逻辑EL是等价的,因而,本文讨论的tableau证明过程也可以作为EL的证明理论.
    본문정의료대유색인적인식라집ELI,토론료ELI적어의tableau적증명과정,증명료모태tableau적상용성화완비성.유우ELI여인식라집EL시등개적,인이,본문토론적tableau증명과정야가이작위EL적증명이론.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문