Hóu,Zhé;拉杰夫·戈尔;Tiu,Alwen先生 BBI的标记序列演算:证明理论和证明搜索。 (英语) Zbl 1444.03159号 J.日志。计算。 28,第4号,809-872(2018).MSC公司:03财年03 03B35型 05年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hóu}等人,J.Log。计算。28,编号40809-872(2018;兹bl 1444.03159) 全文: DOI程序 arXiv公司 链接
朱利安·古铁雷斯 关于限制不确定性过程的不动点逻辑和等价性。 (英语) Zbl 1444.03115号 J.日志。计算。 28,第4号,779-807(2018).MSC公司:03B70号 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.古铁雷斯},J.洛格。计算。28,第4号,779--807(2018;Zbl 1444.03115) 全文: DOI程序 链接
Jean-RenéCourtault;迪迪埃·加米歇 资源动态的模式分离逻辑。 (英语) Zbl 1444.03049号 J.日志。计算。 28,第4期,733-778(2018).MSC公司:03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-R.Courtault}和textit{D.Galmiche},J.Log。计算。28,第4号,733--778(2018;Zbl 1444.03049) 全文: DOI程序
菲利普·巴尔比亚尼;约瑟夫·布杜 具有存储、恢复和并行组合的无迭代(\mathrm{PDL}):一个完整的公理化。 (英语) Zbl 1444.03109号 J.日志。计算。 28,第4号,705-731(2018).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{J.Boudou},J.Log。计算。28,第4号,705--731(2018;Zbl 1444.03109) 全文: DOI程序
加布里埃尔·安德森;大卫·派姆 系统模型中的信任域:代数、逻辑、效用和组合子。 (英语) Zbl 1448.68439号 J.日志。计算。 28,第4期,665-703(2018).MSC公司:68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Anderson}和\textit{D.Pym},J.Log。计算。28,第4号,665--703(2018;Zbl 1448.68439) 全文: DOI程序 链接
Nguyen、Hoang Nga;娜塔莎·亚历奇纳;布赖恩·洛根;阿卜杜尔·拉基布 具有资源边界的交替时间时序逻辑。 (英语) 兹比尔1444.03037 J.日志。计算。 28,第4期,631-663(2018).MSC公司:03B44号 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Nguyen}等人,J.Log。计算。28,第4号,631--663(2018;Zbl 1444.03037) 全文: DOI程序 OA许可证
迪迪埃·加米歇(编辑);大卫·派姆(编辑) 前言。 (英语) Zbl 1444.00040号 J.日志。计算。 28,第4号,629-630(2018).MSC公司:00B25型 03-06 03B70号 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}(编辑)和\textit{D.Pym}(主编),J.Log。计算。28,第4号,629--630(2018;Zbl 1444.00040) 全文: DOI程序