汉斯·范·迪特马什;法语,蒂姆 知识和意识变化的语义学。 (英语) Zbl 1305.68163号 J.逻辑语言信息。 第2期第23号,169-195(2014).MSC公司:68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}和\textit{T.French},J.Logic Lang.Inf.23,No.2,169--195(2014;Zbl 1305.68163) 全文: DOI程序
劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 细化模态逻辑。 (英语) Zbl 1309.68175号 Inf.计算。 239, 303-339 (2014).MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。239303--339(2014年;Zbl 1309.68175) 全文: DOI程序 arXiv公司