王燕京 除了知道这一点:新一代认知逻辑。 (英语) Zbl 1437.03079号 van Ditmarsch,Hans(编辑)等人,Jaakko Hintikka,关于知识和游戏理论语义。献给Jaakko Hintikka。查姆:斯普林格。Outst公司。控制日志。12, 499-533 (2018).MSC公司:03B42号 03-03 01A60型 01A61号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang},Outst(输出)。控制日志。12、499--533(2018年;Zbl 1437.03079) 全文: 内政部 arXiv公司
安德里科尼斯,J。 \(\mathrm的切割消除{S4}_n\)和\(\mathrm{K4}_ n\)使用中心代理公理。 (英语) Zbl 1186.03038号 岩性。数学。J。 49,第2期,123-139(2009). 审核人:G.E.Mints(斯坦福) MSC公司:03B45号 03B42号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Andrikonis},岩性。数学。J.49,第2号,第123--139条(2009年;Zbl 1186.03038) 全文: 内政部
欧内斯特·戴维斯 知识与沟通:一阶理论。 (英语) Zbl 1132.68726号 Artif公司。智力。 166,编号1-2,81-139(2005).MSC公司:68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis},阿蒂夫。智力。166,编号1--2,81-139(2005;Zbl 1132.68726) 全文: 内政部
蒂莫西·波特 从范畴的角度解释了多智能体系统的系统和克里普克模型。 (英语) Zbl 1078.68146号 西奥。计算。科学。 323,编号1-3,235-266(2004).MSC公司:68立方英尺 68T01型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{T.波特},Theor。计算。科学。323,编号1--3235-266(2004;Zbl 1078.68146) 全文: 内政部