关键词: 直觉主义认知逻辑, 分布式知识, 公共知识

Abstract:

Epistemic logic is a branch of modal logic that studies knowledge reasoning and belief change. It is widely used in artificial intelligence, multi-agent systems and game theory. In order to provide new logic tools for the study of computer science related fields that emphasize constructivity and versatility, a group of scholars begin to combine intuitionistic constructive ideas with epistemic logic and develop epistemic logic on the basis of intuitionistic logic. This paper is based on Jäger and Marti??s research on intuitionistic distributed knowledge and common knowledge.   Under the framework of intuitionistic logic, it deals with both common and distributed knowledge. According to the different nature and different characteristics of the knowledge accessibility relation satisfied, two intuitionistic epistemic logic axiom systems ICDK and ICDT are given. The canonical model is constructed by successively transforming the model and the complete reliability proof is given.

Key words: intuitionistic epistemic logic, distributed knowledge, common knowledge