SI The Knowledge Logic SI Based on the Nonstandard Logic

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