The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called EL, which can avoid the logical omniscience, and gives its semantic rules and its axioms.

 
  • 摘要分析認知邏輯中的邏輯全知問(wèn)題及其解決方法,提出一種可以避免邏輯全知的認知邏輯EL,并給出其語(yǔ)義和公理系統。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan