默多克·J·加贝。 新鲜逻辑:FM和标称技术的证明理论和语义。 (英语) Zbl 1124.03010号 J.应用。日志。 5,第2期,356-387(2007). 审核人:Reinhard Kahle(科英布拉) MSC公司:03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Appl.(《应用杂志》)。日志。5,编号2,356--387(2007;Zbl 1124.03010) 全文: 内政部
诺里希罗·卡米德 具有时间、空间和认知算子的线性和仿射逻辑。 (英语) Zbl 1175.03039号 西奥。计算。科学。 353,编号1-3,165-207(2006).MSC公司:03楼52 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{N.Kamide},Theor。计算。科学。353,编号1--3,165-207(2006;Zbl 1175.03039) 全文: 内政部