非标准逻辑基础上的知识逻辑

• SI The Knowledge Logic SI Based on the Nonstandard Logic