约翰·范·本特姆;范·艾伊克(Jan van Eijck);马尔文·加廷格;苏凯乐 动态认知逻辑的符号模型检查–S5及更高版本。 (英语) Zbl 1410.68242号 J.日志。计算。 28,第2期,367-402(2018).MSC公司:60年第68季度 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,J.Log。计算。28,第2号,367--402(2018;Zbl 1410.68242) 全文: 内政部 链接
约阿希姆·波塞加;彼得·施密特。 Shannon图的自动演绎。 (英语) Zbl 0845.68095号 J.日志。计算。 5,第6期,697-729(1995).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Posegga}和\textit{P.H.Schmitt},J.Log。计算。5,第6号,697--729(1995;Zbl 0845.68095) 全文: 内政部 链接