胡太伟;马莫鲁·卡内科;铃木,Nobu-Yuki 小无穷认知逻辑。 (英语) Zbl 1443.03009号 版本符号。日志。 12,第4号,702-735(2019). 审核人:坎·巴斯肯特(伦敦) MSC公司:03B42号 03B45号 91年10月 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{T.-W.Hu}等人,Rev.Symb。日志。12,第4号,702--735(2019;Zbl 1443.03009) 全文: 内政部
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马,伊德 模态\(\mu\)-微积分的完备性:将组合学与动力学分离。 (英语) Zbl 1391.68077号 西奥。计算。科学。 727, 37-100 (2018).MSC公司:60年第68季度 03B45号 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人,Theor。计算。科学。727,37--100(2018;Zbl 1391.68077) 全文: 内政部
塞缪尔·R·巴斯。(编辑);罗莎莉,伊姆霍夫(编辑);乌尔里奇·科伦巴赫(编辑);迈克尔·拉特扬(编辑) 数理逻辑:证明理论,构造数学。2017年11月5日至11日举行的研讨会摘要。 (英语) Zbl 1409.00077号 Oberwolfach代表。 14,第4期,3121-3183(2017).MSC公司:00亿05 00B25型 03Fxx公司 03-06 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}(编辑)等人,Oberwolfach Rep.14,No.4,3121-3183(2017;Zbl 1409.00077) 全文: 内政部
凯·布伦勒;托马斯·施图德 模态mu-calculus片段的句法删减。 (英语) Zbl 1259.03031号 Ann.纯粹应用。逻辑 163,第12号,1838-1853(2012). 审核人:G.E.Mints(斯坦福) MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler}和\textit{T.Studer},Ann.Pure Appl。逻辑163,第12期,1838--1853(2012;Zbl 1259.03031) 全文: 内政部
格里戈里薄荷 对模态微积分片段的有效切割消除。 (英语) Zbl 1254.03110号 螺柱日志。 100,编号1-2,279-287(2012). 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:05年3月 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},螺柱日志。100,编号1--2,279--287(2012;Zbl 1254.03110) 全文: 内政部
贾格尔,格哈德;托马斯·施图德 模态不动点逻辑的Buchholz规则。 (英语) 兹比尔1278.03044 日志。Univers大学。 2011年第1期第5卷第1-19页. 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:03B45号 03B44号 03B70号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{T.Studer},Log。Univers大学。5、第1号、第1-19号(2011;Zbl 1278.03044) 全文: 内政部
托马斯·施图德 关于模态微积分的证明理论。 (英语) Zbl 1163.03014号 螺柱日志。 89,第3期,343-363(2008). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:03B45号 35层03 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer},Stud.Log。89,第3号,343--363(2008;Zbl 1163.03014) 全文: 内政部 链接