佐埃·克里斯托夫;延斯·乌尔里克·汉森;卡洛·普罗埃蒂 反思网络中的社会影响。 (英语) Zbl 1396.03082号 J.逻辑语言信息。 25,编号3-4,299-333(2016).MSC公司:03B80号 03B42号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{Z.Christoff}等人,J.Logic Lang.Inf.25,No.3--4299--333(2016;Zbl 1396.03082) 全文: DOI程序 链接
佐埃·克里斯托夫;延斯·乌尔里克·汉森 社交网络中传播的逻辑。 (英语) Zbl 1311.03037号 J.应用。日志。 13,第1期,48-77(2015).MSC公司:03B45号 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{Z.Christoff}和\textit{J.U.Hansen},J.Appl。日志。13,第1号,48--77(2015;Zbl 1311.03037) 全文: DOI程序 链接
延斯·乌尔里克·汉森 动态认知逻辑的终止表。 (英语) Zbl 1345.03029号 Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262141-156(2010)。MSC公司:03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.U.Hansen},电子。理论注释。计算。科学。262141-156(2010年;Zbl 1345.03029) 全文: DOI程序