罗宾·赫希;米库拉斯,萨博尔斯;蒂姆·斯托克斯 非确定性程序的代数:恶魔般的操作、命令和公理。 (英语) Zbl 1499.08001号 日志。J.IGPL公司 30,第5号,886-906(2022).MSC公司:08A02号 08A70号 05年6月 20个M10 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人,日志。J.IGPL 30,第5号,886--906(2022年;Zbl 1499.08001) 全文: 内政部 arXiv公司
默多克·J·加贝。 元变量作为名词术语统一和重写的无限列表。 (英语) Zbl 1278.68119号 日志。J.IGPL公司 20,第6期,967-1000(2012). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},日志。J.IGPL 20,第6号,967--1000(2012;Zbl 1278.68119) 全文: 内政部
希拉·R·M·维洛索。;保罗·维洛索。;de Freitas、Renata P。 逻辑工程的应用。 (英语) Zbl 1088.03032号 日志。J.IGPL公司 13,第1号,29-46(2005).MSC公司:03B70号 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.R.M.Veloso}等人,《日志》。J.IGPL 13,编号1,29-46(2005年;Zbl 1088.03032) 全文: 内政部
迈克尔·门德勒 表征直觉模态逻辑中的组合时序分析。 (英语) Zbl 0963.03052号 日志。J.IGPL公司 8,第6号,821-852(2000).MSC公司:03B70号 94立方厘米10 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler},日志。J.IGPL 8,第6号,821--852(2000;Zbl 0963.03052) 全文: 内政部 链接
冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯哈默 时序逻辑的关系模型。 (英语) Zbl 0906.03030号 日志。J.IGPL公司 6,第2期,157-173(1998年). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B70号 第68季度第60季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.von Karger}和\textit{R.Berghammer},日志。J.IGPL 6,第2期,157--173(1998;Zbl 0906.03030) 全文: 内政部 链接