艾奥尼斯·科基尼;内纳德·萨维奇;托马斯·施图德 使用概率运算符的证明逻辑。 (英语) Zbl 07465322号 Ognjanović,Zoran(编辑),各种逻辑系统的概率扩展。查姆:斯普林格。215-234 (2020).MSC公司:03B48 PDF格式BibTeX公司 XML格式引用 \textit{I.Kokkinis}等人,in:各种逻辑系统的概率扩展。查姆:斯普林格。215--234(2020;Zbl 07465322) 全文: 内政部
剪切,特德;约翰·奎金 充满信心的论证逻辑。 (英语) Zbl 1476.03016号 螺柱日志。 108,第4期,751-778(2020). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shear}和\textit{J.Quiggin},Stud.Log。108,第4号,751--778(2020;Zbl 1476.03016) 全文: 内政部