此级别的项目数：185.
2023
卡钦，基督徒;大卫·莱纳;托马斯·施图德（2023年10月）。协同知识。在：什洛米·多列夫;巴鲁克·希伯（编辑）第25届分布式系统稳定、安全与保障国际研讨会。计算机科学课堂讲稿（第552-567页）。施普林格10.1007/978-3-031-44274-2_41
贾格尔，格哈德(2023).显式数学中的同一性、平等性和可拓性。在：道格拉斯·布里奇斯;石原，Hajime;迈克尔·拉特扬;赫尔穆特·施维赫滕贝格（编辑）建构数学手册。数学及其应用百科全书（第564-583页）。剑桥大学出版社10.1017/9781009039888.022
佐藤，肯塔罗;沃克，简(2023).有限公理真理。《符号逻辑杂志》，88（1），第22-73页。剑桥大学出版社10.1017/jsl.2022.65
罗洁婷;达斯塔尼，迈赫迪;托马斯·施图德;辽、北水(2023).你关心什么：从情绪中推断价值观。在：第22届自治代理和多代理系统国际会议记录。
罗洁婷;达斯塔尼，迈赫迪;托马斯·施图德(2023).从情感中获得情感：在多智能体系统中建模情感反应（已提交）。逻辑与计算杂志牛津大学出版社
阿夫沙里语、巴哈雷语;格罗滕胡斯，利德;格雷厄姆·E·利;卢卡斯曾格(2023).直觉线性时间时序逻辑的基础薄弱的证明系统。计算机科学讲义，14278，第223-241页。施普林格10.1007/978-3-031-43513-3_13
大卫·费尔南德斯·杜克;布雷特·麦克莱恩;卢卡斯曾格(2023).一系列可决定的双教学模态逻辑。在：皮埃尔·侯爵;儿子Tran Cao;加布里埃尔·克恩·伊斯伯纳（编辑）第20届国际知识表示和推理原理会议。希腊罗兹。2023年9月2日至8日。10.24963/kr.2023/26
卡钦，基督徒;大卫·莱纳;托马斯·施图德(2023).多智能体系统的模态和论证逻辑（邀请谈话）。在：安德烈亚斯·赫齐格;罗洁婷;佩雷·帕尔多（编辑）2023年逻辑与论证国际会议。计算机科学课堂讲稿：第14156卷（第3-8页）。查姆：瑞士施普林格自然10.1007/978-3-031-40875-5_1
罗洁婷;托马斯·施图德;达斯塔尼，迈赫迪(2023).提供个性化解释：对话方法。在：安德烈亚斯·赫齐格;罗洁婷;佩雷·帕尔多（编辑）2023年逻辑与论证国际会议。计算机科学课堂讲稿：第14156卷（第121-137页）。查姆：瑞士施普林格自然10.1007/978-3-031-40875-5_8
费德里科·法罗尔迪。;阿特菲·罗哈尼;托马斯·施图德(2023).论证逻辑中的条件义务。在：Helle Hvid Hansen先生;安德烈·斯切德罗夫;Ruy J.G.B.de Queiroz。（编辑）第29届逻辑、语言、信息和计算国际研讨会，2023年。计算机科学课堂讲稿：第13923卷（第178-193页）。查姆：瑞士施普林格自然10.1007/978-3-031-39784-4_11
2022
大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德(2022).交互式证明的逻辑。《逻辑与计算杂志》，32（8），第1645-1658页。牛津大学出版社10.1093/log.com/exac071
贾格尔，格哈德(2022).Kripke–Platek环境中的阶段比较、不动点和最小不动点。《圣母院形式逻辑杂志》，63（4），第443-461页。杜克大学出版社10.1215/00294527-2022-0025
奥利维尔·斯塔赫利;托马斯·奥斯特;托马斯·施图德（2022年5月）。基于人工智能的生物声学狼监测系统的开发。在：罗马人Barták;法泽尔·凯什特卡;迈克尔·富兰克林（编辑）第三十五届国际佛罗里达人工智能研究学会会议。美国佛罗里达州延森海滩哈钦森岛。2022年5月15日至18日。
大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德(2022).互动证明的逻辑。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）计算机科学逻辑基础。LFCS 2022。计算机科学课堂讲稿：第13137卷（第143-155页）。施普林格10.1007/978-3-030-93100-1_10
道德，德拉甘;佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德(2022).信息和理由不完整。在：艾比克·厄兹根;尤利娅·齐诺瓦（编辑）2019年逻辑、语言和计算TbiLLC。计算机科学课堂讲稿：第13206卷（第258-278页）。施普林格10.1007/978-3-030-98479-3_13
Rooduijn，简;卢卡斯曾格(2022).S5上公共知识逻辑的分析证明系统。在：大卫·费尔南德斯·杜克;亚历山德拉·帕尔米吉亚诺;苏菲·平奇纳特（编辑）AiML 2022会议记录。模态逻辑进展：第14卷（第659-680页）。学院出版物
贾格尔，格哈德(2022).Kripke-Platek集理论的简化截消。在：费尔南多·费雷拉;莱因哈德·卡勒;乔瓦尼·索马鲁加（编辑）公理化思维II（第9-34页）。施普林格10.1007/978-3-030-77799-9_2
费德里科·法罗尔迪;梅格达德·加里;伊芙琳·莱曼;托马斯·施图德(2022).道义证明逻辑的一致性和许可性。《逻辑与计算杂志》，34（4），第640-664页。牛津大学出版社10.1093/log.com/exac045
罗洁婷;辽、北水;Dov Gabbay公司(2022).基于价值的实践推理：模态逻辑+论证（新闻稿）。在：COMMA-参数计算模型。会议记录。
2021
鲍尔，迈克尔;托马斯·施图德(2021).证据的半环。《逻辑与计算杂志》，31（8），第2084-2106页。牛津大学出版社10.1093/log/exab007
T·斯图德。(2021).无法保守秘密。马来西亚数学科学杂志，15，第91-104页。UPM公司
阿特菲·罗哈尼;托马斯·施图德（2021年10月5日）。显式非正规模态逻辑。在：亚历山德拉·席尔瓦;雷娜塔·瓦瑟曼;鲁伊·德·奎罗斯（编辑）WoLLIC 2021-第27届逻辑、语言、信息和计算研讨会。计算机科学课堂讲稿：第13038卷（第64-81页）。施普林格10.1007/978-3-030-88853-4_5
迈克尔·巴兹基(2021).ATR_0和一些相关理论。（论文，《哲学-自然》，Fakultät）
贾格尔，格哈德(2021).简短说明：最小不动点与最小闭点。《数理逻辑档案》，60（7-8），第831-835页。Springer-Verlag公司10.1007/s00153-021-00761-y
伊芙琳·莱曼(2021).对齐的子集语义。（论文，伯尔尼大学，哲学-自然科学研究院Fakultät）
托马斯·施图德(2021).明确证据的冲突容忍逻辑。逻辑研究，27（1），第124-144页。
伊芙琳·莱曼;托马斯·施图德(2021).探索合理性逻辑的子集模型。在：配件，梅尔文（编辑）当代逻辑学精选主题。伦敦：学院出版物
2020
内纳德·萨维奇(2020).非经典推理和论证。（论文，伯尔尼大学，哲学-自然科学研究院Fakultät）
鲍尔，迈克尔;托马斯·施图德（2020年4月）。证据的半环。在：达斯塔尼，迈赫迪;董惠民;莱昂·范德托雷（编辑）逻辑和论证。国际会议，CLAR 2020，会议记录。计算机科学课堂讲稿：第12061卷（第42-57页）。施普林格10.1007/978-3-030-44638-3_3
西尔维娅·吉勒赞;艾维提，杰莉娜;西蒙娜·卡斯特罗维奇;佐兰·奥格尼亚诺维奇;内纳德·萨维奇（2020年1月3日）。类型理论中的概率推理——交叉类型案例。在：安德烈亚斯·赫齐格;朱哈·科廷宁（编辑）信息和知识系统基础。计算机科学课堂讲稿：第12012卷（第122-139页）。施普林格10.1007/978-3-030-39951-1_8
伊芙琳·莱曼;托马斯·施图德（2020年1月）。子集模型中的信念扩展。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）LFCS 2020计算机科学逻辑基础。计算机科学课堂讲稿：第11972卷（第85-97页）。施普林格10.1007/978-3-030-36755-8_6
艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德(2020).概率论证逻辑。逻辑与计算杂志，30（1），第257-280页。牛津大学出版社10.1093/log.com/exaa011
托马斯·施图德(2020).数据隐私的不允许定理。在：第七届国际密码学和信息安全会议记录。视频会议。2020年6月9日至10日。
托马斯·施图德;费德里科·法罗尔迪;梅格达德·加里;伊芙琳·莱曼(2020).正当化逻辑中的不可能和冲突义务（已提交）。在：第十五届道义逻辑和规范系统国际会议（DEON 2020）。2020年7月30日至2020年8月2日（延期至2021年）。
艾奥尼斯·科基尼;内纳德·萨维奇;托马斯·施图德(2020).用概率运算符证明逻辑。在：佐兰·奥格尼亚诺维奇（编辑）各种逻辑系统的概率扩张（第215-234页）。施普林格10.1007/978-3-030-52954-3_8
福斯，马蒂亚斯;卡斯帕·里森(2020).匹配图的匹配——一种新的图分类方法。在：2020年第25届模式识别国际会议（ICPR）论文集。
迈克尔·巴兹基;贾格尔，格哈德·马克斯(2020).再次看一下关于Γ₀的证明理论强度的一些理论。在：莱因哈德·卡勒;迈克尔·拉特扬（编辑）库尔特·舒特的遗产（第103-128页）。查姆：斯普林格10.1007/978-3-030-49424-7_9
2019
博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德(2019).带有非刚性代理集的时间认知逻辑，用于分析区块链协议。《逻辑与计算杂志》，29（5），第803-830页。牛津大学出版社10.1093/log.com/exz007
道德，德拉甘;内纳德·萨维奇;佐兰·奥格尼亚诺维奇(2019).关于高阶上下概率的多智能体逻辑推理。《逻辑、语言和信息杂志》，29（1），第77-107页。施普林格荷兰2007年10月10日/10849-019-09301-7
哈姆泽·穆罕默德;托马斯·施图德（2019年9月）。贝叶斯确认和理由。计算机科学课堂讲稿，11726，第408-418页。施普林格10.1007/978-3-030-29765-7_34
博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;道德，德拉甘;托马斯·施图德（2019年9月）。区块链协议的概率共识。计算机科学课堂讲稿，11726，第469-480页。施普林格10.1007/978-3-030-29765-7_39
弗洛里安·兰齐;托马斯·斯特拉姆(2019).小Veblen序数的灵活类型系统。《数理逻辑档案》，58（5-6），第711-751页。Springer-Verlag公司10.1007/s00153-019-00658-x
阿夫沙里语、巴哈雷语;贾格尔，格哈德·马克斯;格雷厄姆·李（Graham E.Leigh）。（2019年7月）。完整微积分的无限处理。计算机科学课堂讲稿，11541，第17-34页。施普林格10.1007/978-3-662-59533-6_2
伊芙琳·莱曼;托马斯·施图德（2019年7月）。证明逻辑的子集模型。计算机科学课堂讲稿，11541，第433-449页。施普林格10.1007/978-3-662-59533-6_26
内纳德·萨维奇;托马斯·施图德(2019).相关论证逻辑。应用逻辑期刊，6（2），第397-412页。学院出版物
托马斯·施图德（2019年3月）。时间支配的逻辑。在：2019年RIVF。会议记录（第1-4页）。美国电气工程师协会10.1109/RIVF.2019.8713701
内纳德·萨维奇;托马斯·施图德（2019年2月5日）。认识模型和超理论的公开公告。在：马里兰州阿基尔汗;阿马尔德夫·曼努埃尔（编辑）ICLA 2019-第八届印度逻辑及其应用会议。计算机科学课堂讲稿：第11600卷（第64-75页）。印度德里：斯普林格10.1007/978-3-662-58771-3_7
徐超;王燕京;托马斯·施图德(2019).知道原因的逻辑。《综合》，198（2），第1259-1285页。施普林格荷兰2007年10月10日/11229-019-02104-0
卢卡斯·詹(2019).显性数学中的范畴理论。（伯尔尼大学哲学与自然科学学院计算机科学研究所论文）
贾格尔，格哈德;西尔维娅·斯特拉(2019).从数学普遍性到不动点和相关的集合理论概念。在：斯特凡妮娅·森特隆;萨拉·内格里;丹尼斯·萨里卡亚;彼得·M·舒斯特。（编辑）数学普遍性，可计算性和证明，综合库。认识论、逻辑、方法论和科学哲学研究：第412卷（第113-129页）。查姆：斯普林格10.1007/978-3-030-20447-1_9
2018
米歇尔·马蒂;乔治·梅特卡夫(2018).基于链的模态逻辑中的表达性。数理逻辑档案，57（3-4），第361-380页。施普林格国际2007年10月1日/00153-017-0573-4
米歇尔·马蒂;托马斯·施图德(2018).常识证明理论。在：汉斯·范·迪特马斯奇;加布里埃尔·桑德（编辑）Jaakko Hintikka，关于知识和游戏理论语义学。《逻辑的杰出贡献》第12卷（第433-455页）。查姆：斯普林格国际出版公司10.1007/978-3-319-62864-6_18
保罗·奥利瓦;西尔维娅·斯特拉(2018).Schwichtenberg棒递归闭包定理的直接证明。《符号逻辑杂志》，83（1），第70-83页。剑桥大学出版社2017年10月10日/jsl.2017.33
凯·布伦勒;弗鲁米尼、丹多洛;托马斯·施图德(2018).区块链更新的逻辑。在：LFCS 2018：计算机科学逻辑基础。计算机科学课堂讲稿：第10703卷（第107-119页）。查姆：斯普林格国际出版公司10.1007/978-3-319-72056-2_7
道德，德拉甘;内纳德·萨维奇;佐兰·奥格尼亚诺维奇(2018).具有上下概率算子迭代的可判定多智能体逻辑。在：弗拉维奥·费拉罗蒂;斯特凡·沃尔特兰（编辑）信息和知识系统基础。计算机科学课堂讲稿：第10833卷（第170-185页）。查姆：斯普林格国际出版公司10.1007/978-3-319-90050-6_10
西尔维娅·吉勒赞;Jelena Ivetić;Kašterović，西蒙娜;佐兰·奥格尼亚诺维奇;内纳德·萨维奇(2018).关于简单类型Lambda项的概率推理。在：计算机科学逻辑基础。计算机科学课堂讲稿：第10703卷（第170-189页）。查姆：斯普林格国际出版公司10.1007/978-3-319-72056-2_11
贾格尔，格哈德;西尔维娅·斯特拉(2018).关于Kripke-Platek环境中的一些不动点公理和相关原理。《符号逻辑杂志》，83（02），第642-668页。剑桥大学出版社10.1017/jsl.2018.12
蒂莫泰·亚历山大·罗斯布罗克(2018).应用理论的一些模型和半决定性概念（未出版）。（论文，法国信息与数学研究所，哲学与自然科学研究所Fakultät）
贾格尔，格哈德;蒂莫泰·亚历山大·罗斯布罗克;佐藤，肯塔罗(2018).应用理论中的截断和半可判定概念。《符号逻辑杂志》，83（03），第967-990页。剑桥大学出版社2017年10月10日/jsl.2018.34
米歇尔·马蒂;托马斯·施图德(2018).直觉主义证明逻辑的内在分离性质。在：古拉姆·贝扎尼什维利;乔瓦娜·达戈斯蒂诺;乔治·梅特卡夫;托马斯·施图德（编辑）模态逻辑进展12（第511-529页）。学院出版物
2017
米歇尔·马蒂(2017).对直觉主义认识逻辑的贡献。（伯尔尼大学哲学与自然科学学院计算机科学研究所论文）
斯特凡诺·贝拉尔迪;西尔维娅·斯特拉(2017).Ramsey关于配对和k色的定理是一个亚经典的算术原理。《符号逻辑杂志》，82（02），第737-753页。剑桥大学出版社10.1017/jsl.2016.41
煎炸，伊曼纽尔;西尔维娅·斯特拉;Keita横山(2017).SCT标准的强度。在：戈帕尔，电视。;贾格尔，格哈德;西尔维娅·斯特拉（编辑）计算模型的理论与应用-第14届年会，2017年｛TAMC｝，瑞士伯尔尼，2017年4月20日至22日，会议记录。计算机科学课堂讲稿：第10185卷（260-273页）。查姆：斯普林格国际出版公司10.1007/978-3-319-55911-7_19
戈帕尔，电视。;贾格尔，格哈德;西尔维娅·斯特拉（编辑）(2017).计算模型理论与应用TAMC 2017。计算机科学课堂讲稿：第10185卷。查姆：斯普林格国际出版公司10.1007/978-3-319-55911-7
内纳德·萨维奇;道德，德拉甘;佐兰·奥格尼亚诺维奇(2017).高阶上下概率推理的一阶逻辑。在：安东努奇。;霍尔维，L。;O.帕皮尼。（编辑）不确定性推理的符号和定量方法。计算机科学课堂讲稿：第10369卷（第491-500页）。查姆：斯普林格国际出版公司10.1007/978-3-319-61581-3_44
内纳德·萨维奇;道德，德拉甘;佐兰·奥格尼亚诺维奇(2017).具有上下概率运算符的逻辑。国际近似推理杂志，88，第148-168页。爱思维尔10.1016/j.ijar.2017.05.013
迪特·普罗斯特(2017).二阶算术元代数子系统的模序分析。（伯尔尼大学哲学-自然科学研究所计算机科学研究所习惯）
佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德(2017).具有近似条件概率的证明逻辑。在：LORI 2017：逻辑、理性和互动。计算机科学讲义：第10455卷（第681-686页）。柏林，海德堡：施普林格-柏林-海德堡10.1007/978-3-662-55665-8_52
乔治·奥德里托;西尔维娅·斯特拉(2017).通用大基数和滤波器系统。《符号逻辑杂志》，82（03），第860-892页。剑桥大学出版社2017年10月10日/jsl.2017.27
贾格尔，格哈德;威弗里德·西格（编辑）(2017).费费曼基础-逻辑，数学，哲学。逻辑杰出贡献：第13卷。查姆：斯普林格国际出版公司10.1007/978-3-319-63334-3
贾格尔，格哈德(2017).操作半影：一些本体论方面。在：费弗曼基金会13（第253-283页）。查姆：斯普林格国际出版公司10.1007/978-3-319-63334-3_10
托马斯·阿德里安·斯特拉姆(2017).展开原理图系统。在：基金会Feferman。《逻辑的杰出贡献》第13卷（第187-208页）。查姆：斯普林格国际出版公司10.1007/978-3-319-63334-3_8
2016
贾格尔，格哈德(2016).相对论运算集理论。《符号逻辑公报》，22（03），第332-352页。剑桥大学出版社10.1017/bsl.2016.11
艾奥尼斯·科基尼;托马斯·施图德(2016).线性时序逻辑的循环证明。在：迪特·普罗斯特;彼得·舒斯特（编辑）数学、哲学和计算机科学中的证明概念。Ontos数学逻辑：第6卷（第171-192页）。德古意特出版社10.1515/9781501502620-011
艾奥尼斯·科基尼(2016).论证逻辑中的不确定性推理。（伯尔尼大学哲学与自然科学学院计算机科学研究所论文）
乌里克·托本·巴赫霍尔茨;贾格尔，格哈德;托马斯·阿德里安·斯特拉姆(2016).证明理论强度ψ（ΓΩ+1）的理论。在：迪特·普罗斯特;彼得·舒斯特（编辑）数学、哲学和计算机科学中的证明概念。Ontos数学逻辑：第6卷（第115-140页）。德古意特出版社10.1515/9781501502620-007
贾格尔，格哈德;米歇尔·马蒂(2016).直觉主义的常识或信仰。应用逻辑杂志，18，第150-163页。爱思维尔2016年10月10日/j.jal.2016.04.004
艾奥尼斯·科基尼(2016).非致畸概率证明逻辑的复杂性。在：马克·吉森;吉列尔莫·西马里（编辑）信息和知识系统基础——第九届国际研讨会，2016年3月7日至11日，奥地利林茨，FoIKS 2016。诉讼程序。计算机科学课堂讲稿：第9616卷（第292-310页）。查姆：斯普林格10.1007/978-3-319-30024-5_16
艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德(2016).概率论证逻辑。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）2016年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，2016年LFCS，计算机科学逻辑基础国际研讨会。诉讼程序。计算机科学课堂讲稿：第9537卷（174-186页）。查姆：斯普林格10.1007/978-3-319-27683-0_13
托马斯·施图德(2016).关系Datenbanken：von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL[教科书].出口压力。柏林，海德堡：施普林格-柏林-海德堡10.1007/978-3-662-46571-4
莱因哈德·卡勒;托马斯·阿德里安·斯特拉姆;托马斯·施图德（编辑）(2016).证明理论的进展。计算机科学与应用逻辑进展：第28卷。查姆：斯普林格国际出版公司10.1007/978-3-319-29198-7
迪特·普罗斯特;彼得·舒斯特（编辑）(2016).数学、哲学和计算机科学中的证明概念。Ontos数学逻辑：第6卷。德古意特出版社10.1515/9781501502620
西尔维娅·斯特拉;Keita横山(2016).反转终止定理的数学界。《纯粹逻辑和应用逻辑年鉴》，167（12），第1213-1241页。爱思维尔2016年10月10日/j.apal.2016.06.001
罗马库兹涅茨;托马斯·施图德(2016).证明逻辑的弱算术解释。《IGPL逻辑杂志》，24（3），第424-440页。牛津大学出版社10.1093/jigpal/jzw002
亚历山大·卡舍夫(2016).用名词证明。（论文，法国信息与数学研究所，哲学与自然科学研究所Fakultät）
贾格尔，格哈德;米歇尔·马蒂(2016).直觉分布式知识的规范化模型构建。在：列夫·贝克莱米舍夫;斯特凡·德姆里;Máté，安德拉斯（编辑）模态逻辑的进展。模态逻辑进展2016：第11卷（第420-434页）。学院出版物
米歇尔·马蒂;托马斯·施图德(2016).直觉主义模态逻辑变得明确。IfCoLog《逻辑学及其应用杂志》，3（5），第877-901页。学院出版物
2015
塞巴斯蒂安·埃伯哈德(2015).对数复杂性类的应用理论。理论计算机科学，585，第115-135页。爱思维尔2016年10月10日/j.tcs.2015.03.007
艾奥尼斯·科基尼;彼得·马克西莫维奇;佐兰·奥格尼亚诺维奇;托马斯·施图德(2015).概率合理性逻辑的第一步。《IGPL逻辑杂志》，23（4），第662-687页。牛津大学出版社10.1093/jigpal/jzv025
约翰·马丁·沃纳(2015).信息不完全的一般语义中的受控查询求值。（论文，法国信息与数学研究所，哲学与自然科学研究所Fakultät）
配件，梅尔文;罗马库兹涅茨(2015).通过嵌套序列进行模态插值。《纯粹逻辑和应用逻辑年鉴》，166（3），第274-305页。爱思维尔2016年10月10日/j.apal.2014.11.002
佐藤，肯塔罗(2015).完整和帽子归纳定义在NBG中是等效的。《数理逻辑档案》，54（1-2），第75-112页。施普林格国际10.1007/s00153-014-0403-x
佐藤，肯塔罗;利科·赞布伦(2015).通过直觉主义理论绕道构建一个新的模型I：无选择的运算集理论是∏1-等价于KP。《纯粹逻辑和应用逻辑年鉴》，166（2），第121-186页。爱思维尔2016年10月10日/j.apal.2014.001
佐藤，肯塔罗(2015).通过直觉理论绕道构建新的模型II：费费曼显式数学T0的可解释性下界。《纯粹逻辑和应用逻辑年鉴》，166（7-8），第800-835页。爱思维尔2016年10月10日/j.apal.2015.04.002
塞巴斯蒂安·埃伯哈德;托马斯·阿德里安·斯特拉姆(2015).展开可行算法和弱真理。在：塞奥多拉·阿库里奥蒂;亨利·加利农;何塞·马丁内斯·费尔南德斯;肯塔罗州藤本市（编辑）统一真理哲学。逻辑、认识论和科学的统一：第36卷（第153-167页）。多德雷赫特：施普林格荷兰10.1007/978-94-017-9673-6_7
弗洛里安·兰齐(2015).从柔性类型系统到元预测井序证明。（论文，法国信息与数学研究所，哲学与自然科学研究所Fakultät）
贾格尔，格哈德;迪特·普罗斯特(2015).分层归纳定义理论的实证分析。在：莱因哈德·卡勒;迈克尔·拉特扬（编辑）Gentzen百年诞辰——追求一致性（第425-454页）。施普林格10.1007/978-3-319-10103-3_15
托马斯·阿德里安·斯特拉姆;乔瓦尼·索马鲁加（编辑）(2015).图灵的革命：他的可计算性思想的影响。Birkhäuser巴塞尔10.1007/978-3-319-22156-4
2014
乔治·梅特卡夫;米歇尔·马蒂(2014).多值模态逻辑的轩尼诗-米尔纳属性。在：拉杰夫·戈尔;巴特尔·库伊;阿吉·库鲁茨（编辑）模态逻辑的进展。模态逻辑进展：第10卷（第407-420页）。伦敦：学院出版物
佐藤，肯塔罗(2014).二阶集合论和高阶理论中的相对预测性和依赖递归。符号逻辑期刊，79（03），第712-732页。剑桥大学出版社2017年10月10日/jsl.2014.28
卢卡·阿尔贝鲁奇;于尔格Krähenbühl;托马斯·施图德(2014).论证模态μ-公式的归纳法。《IGPL逻辑杂志》，22（6），第805-817页。牛津大学出版社10.1093/jigpal/jzu001
弗鲁米尼、丹多洛;佐藤，肯塔罗(2014).从等级制度到根深蒂固。《数理逻辑档案》，53（7-8），第855-863页。施普林格国际2007年10月1日/00153-014-0392-9
佐藤，肯塔罗(2014).强制算术中的帽子归纳定义。《数理逻辑季刊》，60（4-5），第314-318页。出版社10.1002/铝201300044
贾格尔，格哈德;利科·赞布伦(2014).显式数学和运算集理论：一些本体论比较。《符号逻辑公报》，20（03），第275-292页。剑桥大学出版社10.1017/bsl.2014.21
弗洛里安·兰齐;托马斯·阿德里安·斯特拉姆(2014).关于分层归纳理论SID<ω的注记。《数学逻辑季刊》，60（6），第487-497页。10.1002/铝201300063
塞巴斯蒂安·埃伯哈德(2014).组合代数上的一个可行真值理论。《纯粹逻辑和应用逻辑年鉴》，165（5），第1009-1033页。爱思维尔2016年10月10日/j.apal.2013.12.002
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2014).通过正当理由实现公告。《计算机与系统科学杂志》，80（6），第1046-1066页。爱思维尔10.1016/j.jcss.2014.04.001
尤里·萨瓦提夫(2014).经典逻辑广义弗雷格系统中的证明内化。《纯粹逻辑和应用逻辑年鉴》，165（1），第340-356页。爱思维尔2016年10月10日/j.apal.2013.07.017
谢尔盖·阿特莫夫。;罗马库兹涅茨(2014).逻辑全知是不可行的。《纯粹逻辑和应用逻辑年鉴》，165（1），第6-25页。爱思维尔2016年10月10日/j.apal.2013.07.003
托马斯·施图德;约翰·马丁·沃纳(2014).布尔描述逻辑的检查器。《数据隐私交易》，第7（3）页，第223-252页。
2013
理查德·麦金利(2013).经典逻辑的规范证明网。《纯粹逻辑和应用逻辑年鉴》，164（6），第702-732页。爱思维尔2016年10月10日/j.apal.2012.05.007
理查德·麦金利(2013).Herbrand定理的证明网。ACM计算逻辑事务，14（1），第1-31页。纽约：ACM10.1145/2422085.2422090
托马斯·施图德(2013).一些带有负面自省的证明逻辑的可决定性。《符号逻辑杂志》，78（2），第388-402页。剑桥大学出版社10.2178/jsl.7802030
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2013).重新审视论证逻辑的可决定性。在：逻辑、语言和计算。计算机科学课堂讲稿：第7758卷（第166-181页）。柏林，海德堡：施普林格-柏林-海德堡10.1007/978-3-642-36976-6_12
贾格尔，格哈德(2013).操作关闭和稳定性。《纯粹逻辑和应用逻辑年鉴》，164（7-8），第813-821页。爱思维尔2016年10月10日/j.apal.2013.01.004
罗马库兹涅茨;托马斯·施图德(2013).更新为证据：信念扩展。在：作为证据更新：简要扩展。计算机科学课堂讲稿：第7734卷（第266-279页）。柏林，海德堡：施普林格10.1007/978-3-642-35722-0_19
托马斯·施图德(2013).保证数据隐私的通用方法。Logica universalis，第7（2）页，第195-209页。Birkhä用户2007年10月17日/11787-012-0060-y
2012
凯·布伦勒;托马斯·施图德(2012).模态μ演算的一个片段的句法切割消除。《纯粹逻辑和应用逻辑年鉴》，163（12），第1838-1853页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2012.04.006
塞缪尔·布切利(2012).用常识证明逻辑。
雷莫·戈茨基(2012).论正当化逻辑的实现与分类。
塞巴斯蒂安·埃伯哈德;托马斯·斯特拉姆(2012).真理和明确数学的薄弱理论。在：乌尔里希·伯杰;汉内斯·迪纳;彼得·舒斯特（编辑）逻辑、结构、计算（第157-184页）。Heusenstamm bei Frankfurt:昂托斯
雷莫·戈茨基;罗马库兹涅茨(2012).通过嵌套序列实现对正逻辑：通过嵌入实现模块化。《纯粹逻辑和应用逻辑年鉴》，163（9），第1271-1298页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2012.02
贾格尔，格哈德;利科·赞布伦(2012).关于运营规则的强度。在：乌尔里希·伯杰;汉内斯·迪纳;彼得·舒斯特（编辑）《逻辑、构造、计算》（第305-324页）。Heusenstamm bei Frankfurt:昂托斯
Samuel R.巴斯。;罗马库兹涅茨(2012).合理化逻辑的复杂度下限。《纯粹逻辑和应用逻辑年鉴》，163（7），第888-905页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2011年9月10日
罗马库兹涅茨;托马斯·施图德(2012).合理性、本体论和保守性。在：托马斯·博兰德;托本·布吕纳;西尔维奥·吉拉尔迪;劳伦斯·莫斯（编辑）模态逻辑进展，第9卷（第437-458页）。学院出版物
尤里·萨瓦提夫(2012).无积Lambek演算是NP-完全的。《纯粹逻辑和应用逻辑年鉴》，163（7），第775-788页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2011年9月17日
托马斯·施图德(2012).合理的术语推理。在：埃德蒙·克拉克;伊琳娜Virbitskaite;安德烈·沃伦科夫（编辑）系统信息学的观点。2011年6月27日至7月1日在俄罗斯新西伯利亚举行的第八届安德烈·埃尔肖夫国际纪念大会，邮编7162（第349-361页）。海德堡：施普林格出版社10.1007/978-3-642-29709-0_30
Mints，格里戈里;托马斯·施图德(2012).用一个变量消除微积分。在：D.米勒。;埃西克，Z。（编辑）2012年计算机科学固定点。
2011
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2011).常识的理由。应用非经典逻辑期刊，21（1），第35-60页。巴黎：Ed.Hermes2016年1月10日至2011年1月21日
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2011).动态证明逻辑的部分实现。在：列夫·贝克莱米舍夫。;鲁伊·德·奎罗斯（编辑）逻辑、语言、信息和计算，第18届国际研讨会，WoLLIC 2011，美国宾夕法尼亚州费城，5月18日至20日，会议记录。计算机科学课堂讲稿：第6642卷（第35-51页）。海德堡：施普林格出版社10.1007/978-3-642-20920-8_9
贾格尔，格哈德;托马斯·施图德(2011).模态不动点逻辑的Buchholz规则。Logica universalis，5（1），第1-19页。巴塞尔：Birkhä用户2007年10月10日/11787-010-0022-1
贾格尔，格哈德;迪特·普罗斯特(2011).应用理论中的Suslin算子：通过序数理论进行的证明理论分析。《纯粹逻辑和应用逻辑年鉴》，162（8），第647-660页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2011.01.09
迪特·普罗斯特(2011).显式数学子系统（PETJ）的可证明终止运算。《纯粹逻辑和应用逻辑年鉴》，162（11），第934-947页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2011.04.004
迪特·普罗斯特;托马斯·斯特拉姆(2011).多项式时间可计算算法的允许闭包。《数理逻辑档案》，50（5-6），第643-660页。柏林：施普林格出版社2007年10月15日/00153-011-0238-7
Daria Spescha;托马斯·斯特拉姆(2011).显式数学弱系统中的可实现性。《数理逻辑季刊》，57（6），第551-565页。Weinheim:威利VCH
托马斯·施图德(2011).证明逻辑、推理跟踪和数据隐私。逻辑与逻辑哲学，20（4），第297-306页。托伦（PL）：尼古拉斯·哥白尼大学出版社
托马斯·施图德(2011).证明逻辑在协议验证中的应用。在：2011年计算智能与安全CIS会议录。
2010
凯·布伦勒;雷莫·戈茨基;罗马库兹涅茨(2010).证明逻辑的句法实现定理。在：列夫·贝克莱米舍夫;瓦伦丁·戈兰科;瓦伦丁·谢特曼（编辑）模态逻辑进展，第8卷（第39-58页）。学院出版物
塞缪尔·布切利;罗马库兹涅茨;莱恩;约书亚·萨克;托马斯·施图德(2010).合理的信念改变。在：哈比尔·阿拉佐拉;玛丽亚·蓬特（编辑）第二届ILCLI知识、交流和行动逻辑与哲学国际研讨会会议记录（LogKCA-10）。
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2010).获得常识的两种方法。在：托马斯·博兰德;托本·布吕纳（编辑）2009年11月12日至14日，丹麦哥本哈根，第六届模态方法研讨会会议记录（M4M-6，2009）。理论计算机科学电子笔记：第262卷（第83-98页）。阿姆斯特丹：爱思唯尔2016年10月10日/j.entcs.2010.04.007
贾格尔，格哈德;于尔格Krähenbühl(2010).集合和类理论中的选择。在：拉尔夫·辛德勒（编辑）证明理论的方法。Ontos数理逻辑：第2卷（第283-314页）。Heusenstamm bei Frankfurt:昂托斯
贾格尔，格哈德(2010).模态定点逻辑。在：哈维尔·埃斯帕尔扎;贝恩德扳手;奥尔纳·格伦伯格（编辑）可靠性和安全性的逻辑和语言。北约和平与安全科学系列。D： 信息和通信安全：第25卷（第129-154页）。IOS出版社10.3233/978-1-60750-100-8-129
Daria Spescha;托马斯·斯特拉姆(2010).显式数学弱系统的可实现性。《数理逻辑季刊》，57（6），第551-565页。Weinheim:威利VCH10.1002/铝201020064
所罗门·费弗曼;托马斯·斯特拉姆(2010).展开有限算术。《符号逻辑评论》，3（4），第665-689页。马萨诸塞州剑桥：剑桥大学出版社10.1017/S1755020310000183
托马斯·施图德(2010).本体的隐私保护模块。在：A.普努利。;维氏夕卡岩，I。;沃伦科夫，A。（编辑）《系统信息学观点汇编》PSI'09。计算机科学课堂讲稿：第5947卷（第380-387页）。海德堡：施普林格出版社
理查德·麦金利(2010).扩展网：命题经典逻辑的证明网。在：克里斯蒂安·弗缪勒;安德烈·沃伦科夫（编辑）编程逻辑、人工智能和推理。第17届国际会议，LPAR-17，印尼日惹，2010年10月10日至15日。会议记录6397（第535-549页）。海德堡：施普林格出版社10.1007/978-3-642-16242-8
罗马库兹涅茨(2010).认识论逻辑中的自我参照论证。计算系统理论，46（4），第636-661页。纽约州纽约市：Springer-Verlag2007年10月7日/00224-009-9209-3
2009
卢卡·阿尔贝鲁奇(2009).S5上模态微积分的序贯计算。《逻辑与计算杂志》，19（6），第971-985页。牛津：牛津大学出版社10.1093/log.com/exn106
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼(2009).关于模态微积分和哥德尔逻辑。《逻辑研究》，91（2），第145-169页。多德雷赫特：施普林格荷兰2007年10月17日/11225-009-9170-9
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼(2009).转移系统受限类上的模态微积分层次。《符号逻辑杂志》，74（4），第1367-1400页。伊利诺伊州香槟：剑桥大学出版社10.2178/jsl/1254748696
托马斯·施图德(2009).常识没有贝思的属性。信息处理信件，109（12），611--614。阿姆斯特丹：爱思唯尔10.1016/j.ipl.2009.02.011
凯·布伦勒;托马斯·施图德(2009).常识的句法删减。《纯粹逻辑和应用逻辑年鉴》，160（1），第82-95页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2009年1月14日
普尼基·斯托帕;托马斯·施图德(2009).ALC知识库的数据隐私。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）计算机科学逻辑基础。国际研讨会，2009年LFCS，美国佛罗里达州迪尔菲尔德海滩，2009年1月3日至6日。诉讼程序。计算机科学课堂讲稿：第5407卷（第409-421页）。海德堡：施普林格出版社10.1007/978-3-540-92687-0_28
凯·布伦勒;托马斯·施图德(2009).常识的句法删减。在：阿雷塞斯，C。;德姆里，S。（编辑）第五届模态方法研讨会论文集（M4M5，2007）。理论计算机科学电子笔记：第231卷（第227-240页）。阿姆斯特丹：爱思唯尔2016年10月10日/j.entcs.2009.02.038
贾格尔，格哈德(2009).具有无界存在量化和幂集的全运算集理论。《纯粹逻辑和应用逻辑年鉴》，160（1），第33-52页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2009年1月10日
凯·布伦勒;卢茨斯特拉斯堡(2009).模态逻辑模块顺序系统。在：马丁·吉斯;阿里德·瓦勒尔（编辑）使用分析表和相关方法的自动推理。第18届国际会议，2009年7月6日至10日，挪威奥斯陆，TABLEAUX 2009。诉讼程序。计算机科学课堂讲稿：第5607卷（第152-166页）。海德堡：施普林格出版社10.1007/978-3-642-02716-1_12
凯·布伦勒(2009).模态逻辑的深度顺序系统。《数理逻辑档案》，48（6），第551-577页。柏林：施普林格国际2007年10月1日/00153-009-0137-3
Samuel R.巴斯。;罗马库兹涅茨(2009).证明逻辑反射片段的NP-完整性。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）计算机科学逻辑基础，国际研讨会，2009年LFCS，美国佛罗里达州迪尔菲尔德海滩，2009年1月3日至6日。诉讼程序。计算机科学课堂讲稿：第5407卷（第122-136页）。海德堡：施普林格出版社10.1007/978-3-540-92687-0_9
谢尔盖·阿特莫夫;罗马库兹涅茨(2009).逻辑全知是一个计算复杂性问题。在：阿维亚德·海菲茨（编辑）2009年TARK。第十二届理性与知识理论问题会议记录（第14-23页）。纽约：计算机协会10.1145/1562814.1562821
罗马库兹涅茨(2009).关于和在证明逻辑中的使用的注记。在：德罗索斯、科斯塔斯;,;,;君士坦丁·齐纳基斯（编辑）第七届泛希腊逻辑研讨会论文集（第99-103页）。帕特拉斯大学出版社
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2009).获得常识的两种方法。在：第六届模态方法研讨会（2009年M4M-6）的初步会议记录。计算机科学研究报告：第128卷（第73-87页）。罗斯基勒大学
理查德·麦金利(2009).阿尔法-心灵演算。在：结构与演绎研讨会论文集。
Daria Spescha;托马斯·斯特拉姆(2009).基本显式类型和多项式时间运算。《数理逻辑季刊》，55（3），第245-258页。Weinheim:威利VCH10.1002/铝200810004
贾格尔，格哈德(2009).操作、集合和类。在：第十三届国际逻辑、方法论和科学哲学大会（第74-96页）。伦敦：学院出版物
2008
托马斯·施图德(2008).关于模态μ演算的证明理论。《逻辑研究》，89（3），第343-363页。多德雷赫特：施普林格荷兰2007年10月17日/11225-008-9133-6
贾格尔，格哈德;克雷茨，马蒂斯;托马斯·施图德(2008).无穷μ的正则完备性。逻辑和代数编程杂志，76（2），第270-292页。纽约州纽约市：北荷兰人2016年10月10日/j.jlap.2008.02.005
凯·布伦勒;迪特·普罗斯特;托马斯·施图德(2008).关于收缩和模态片段。《数理逻辑季刊》，54（4），第345-349页。Weinheim:威利VCH10.1002/铝200710043
凯·布伦勒;理查德·麦金利(2008).深度推理系统的算法解释。在：伊利亚诺·塞维萨托;赫尔穆特·维思;安德烈·沃伦科夫（编辑）编程逻辑、人工智能和推理。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。计算机科学课堂讲稿：第5330卷（第482-496页）。海德堡：施普林格出版社10.1007/978-3-540-89439-1_34
罗马库兹涅茨(2008).正当知识的自我参照性。在：爱德华·赫施。;亚历山大·拉兹博罗夫。;阿列克谢·塞梅诺夫;阿纳托尔·斯利森科（编辑）计算机科学-理论与应用第三届俄罗斯国际计算机科学研讨会，CSR 2008，俄罗斯莫斯科，2008年6月7日至12日。诉讼程序。计算机科学课堂讲稿：第5010卷（第228-239页）。海德堡：施普林格出版社10.1007/978-3-540-79709-8_24
理查德·麦金利(2008).软线性集合理论。《逻辑与代数编程杂志》，76（2），第226-245页。纽约州纽约市：北荷兰人2016年10月10日/j.jlap.2008.02.010
托马斯·斯特拉姆;杰弗里·祖克(2008).抽象代数上存在断言的本原递归选择函数。逻辑和代数编程杂志，76（2），第175-197页。纽约州纽约市：北荷兰人2016年10月10日/j.jlap.2008.02.002
托马斯·斯特拉姆（编辑）(2008).辩证法。特刊：哥德尔辩证法解读，62（2）。约翰·威利父子公司10.1111/j.1746-8361.2008.01135.x
2007
贾格尔，格哈德(2007).关于费费马的运算集理论。《纯粹逻辑和应用逻辑年鉴》，150（1-3），第19-39页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2007.09.001
贾格尔，格哈德;克雷茨，马蒂斯;托马斯·施图德(2007).无需刻板的常识。应用逻辑杂志，5（4），第681-689页。阿姆斯特丹：爱思唯尔2016年10月10日/j.jal.2006.02.003
诺伯特·科特曼;托马斯·施图德(2007).改进语义查询应答。在：数据库和专家系统应用程序。第18届国际会议记录，2007年DEXA。计算机科学课堂讲稿：第4653卷（第671-679页）。海德堡：施普林格出版社10.1007/978-3-540-74469-6_65
大卫·斯坦纳;托马斯·施图德(2007).公告总数。在：计算机科学逻辑基础。2007年LFCS国际研讨会论文集。计算机科学讲义：第4514卷（第498-511页）。海德堡：施普林格出版社10.1007/978-3-540-72734-7_35
普尼基·斯托帕(2007).模态逻辑S5的深度推理系统。《逻辑研究》，85（2），第199-214页。多德雷赫特：Kluwer学术出版社10.1007/s11225-007-9028年
普尼基·斯托帕;托马斯·施图德(2007).数据隐私的正式模型。在：伊琳娜Virbitskaite;安德烈·沃伦科夫（编辑）系统信息学的观点。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。理论计算机科学与一般问题：第4378卷（第400-408页）。海德堡：施普林格出版社10.1007/978-3-540-70881-0_34
2006
凯·布伦勒(2006).经典谓词逻辑深层推理系统中的割消。《逻辑研究》，82（1），第51-71页。多德雷赫特：施普林格科学+商业媒体2007年10月17日/11225-006-6605-4
克雷茨，马蒂斯;托马斯·施图德(2006).常识的演绎链。应用逻辑杂志，4（3），第331-357页。阿姆斯特丹：爱思唯尔
大卫·斯坦纳(2006).保持一致性的信念改变系统。在：谢尔盖·阿特莫夫;罗希特·帕里赫（编辑）理性与知识学报。第18届欧洲逻辑、语言和信息暑期学校（第133-144页）。南希：逻辑、语言和信息协会
大卫·斯坦纳;托马斯·斯特拉姆(2006).基于基元递归运算的第二类泛函的证明理论。《数理逻辑季刊》，52（3），第237-252页。Weinheim:威利VCH10.1002/铝200510029
凯·布伦勒(2006).模态逻辑的深度顺序系统。在：圭多州长;伊恩·霍德金森;维尼马，伊德（编辑）模态逻辑的进展。第6卷（第107-119页）。学院出版物
凯·布伦勒(2006).深层推理及其派生的正规形式。在：阿诺德·贝克曼;乌尔里希·伯杰;Löwe，Benedikt公司;约翰·V·塔克。（编辑）计算障碍的逻辑方法。第二届欧洲可计算性会议，2006年CiE，英国斯旺西，2006年7月，会议记录。计算机科学课堂讲稿：第3988卷（第65-74页）。海德堡：施普林格出版社10.1007/11780342_7
迪特·普罗斯特(2006).超限迭代拟最小不动点的证明理论分析。《符号逻辑杂志》，71（3），第721-746页。伊利诺伊州香槟：剑桥大学出版社10.2178/jsl/1154698573
此列表生成于2024年6月21日星期五02:15:32 CEST.
