Paraconsistent Multi-agent Epistemic Logic CnEmK
Hao Xu-dong · Journal of Yunnan Normal University · 2010
On the basis of paraconsistent propositional logic Cn(1≤nω),it is feasible to use the logical expanding method in the mode of combining logic branch to build a paraconsistent multi-agent epistemic logic CnEmK(1≤nω).CnEmK(1≤nω) has the quality of soundness and completeness.It is the system which can deal with paraconsistency.CnEmK(1≤nω) is a basic paraconsistent multi-agent epistemic logic,whose expansion helps to get paraconsistent multi-agent epistemic logics about interaction knowledge,common knowledge,and public knowledge.