斯坦尼斯拉夫·基科特;阿吉·库鲁茨;田中,吉知藤;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 具有算子的满足半格上的严格正模态逻辑的Kripke完备性。 (英语) Zbl 1444.03063号 J.塞姆。日志。 84,第2期,533-588(2019). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B45号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kikot}等人,J.Symb。日志。84,第2号,533--588(2019;Zbl 1444.03063) 全文: 内政部 arXiv公司 链接
弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 一阶模态逻辑的可判定片段。 (英语) Zbl 0996.03010号 J.塞姆。日志。 66,第3期,1415-1438(2001). 审核人:钱雷(布卢明顿) MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},J.Symb。日志。66,第3号,1415--1438(2001;Zbl 0996.03010) 全文: 内政部 链接
J.西克曼。;Szabó,P。 (D_A\)-统一问题的不可判定性。 (英语) Zbl 0701.03020号 J.塞姆。日志。 54,第2期,402-414(1989). 审核人:G.薄荷 MSC公司:03天35分 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Siekmann}和\textit{P.Szabó},J.Symb。日志。54,第2号,402--414(1989;Zbl 0701.03020) 全文: 内政部