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ǔ)義和公理系統。