编辑配置文件(在新选项卡中打开) 托马斯·施图德 合著者距离 作者ID: 学生.托马斯 发布日期: 托马斯·施图德;T·斯图德。 外部链接: MGP公司 已编制索引的文档: 73出版物自2000年以来,包括2本书和4个附加arXiv预打印 2作为编辑的贡献 审查活动: 9评论 合著者: 38位合著者具有61联合出版物 625位合作作者 全部的 前5名合著者 14 单作者的 9 罗马库兹涅茨 9 佐兰·奥格尼亚诺维奇 6 凯·布伦勒 5 塞缪尔·布切利 5 贾格尔,格哈德 5 艾奥尼斯·科基尼 5 内纳德·萨维奇 4 莱因哈德·卡勒 4 伊芙琳·莱曼 三 迈克尔·鲍尔 三 马蒂斯·克雷茨 三 大卫·莱纳 三 米歇尔·马蒂 2 道德,德拉甘 2 费德里科·法罗尔迪。 2 弗鲁米尼、丹多洛 2 保拉·格拉文 2 博扬·马里科维奇 2 迪特·普罗斯特 2 阿特菲·罗哈尼 2 普尼基·斯托帕 1 卢卡·阿尔贝鲁奇 1 古拉姆·贝扎尼什维利 1 克里斯蒂安·卡钦 1 乔瓦娜·达戈斯蒂诺 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 内森·塞巴斯蒂安·加斯 1 梅格达德·加里 1 于尔格Krähenbühl 1 罗洁婷 1 彼得·马克西莫维奇 1 乔治·梅特卡夫 1 格里戈里·埃弗罗伊莫维奇造币厂 1 哈姆泽·穆罕默德 1 大卫·斯坦纳 1 托马斯·斯特拉姆 1 王燕京 1 徐超 全部的 前5名系列 6 逻辑与计算杂志 5 纯逻辑与应用逻辑年鉴 三 IGPL逻辑杂志 2 逻辑与代数程序设计杂志 2 应用逻辑杂志 2 泛逻辑 1 信息处理信件 1 计算机与系统科学杂志 1 符号逻辑杂志 1 Studia Logica公司 1 合成 1 理论计算机科学 1 应用非经典逻辑杂志 1 数学逻辑季刊(MLQ) 1 逻辑与逻辑哲学 1 计算机科学与应用逻辑进展 1 逻辑研究(伦敦) 1 马来西亚数学科学杂志 1 Logicheskie Issledovaniya公司 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 62 数理逻辑与基础(03-XX) 28 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 49出版物有被引用254中的次121文件 引用人▼ 年份▼ 常识的理由。 Zbl 1242.03036号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 18 2011 证明和理由的逻辑。 Zbl 1457.03004号 罗马库兹涅茨;托马斯·施图德 14 2019 扩展显式数学系统T_(_0):极限和Mahlo公理。 兹伯利1002.03052 贾格尔,格哈德;托马斯·施图德 13 2002 无需刻板的常识。 Zbl 1144.03009号 贾格尔,格哈德;马蒂斯·克雷茨;托马斯·施图德 13 2007 合理性、本体论和保守性。 Zbl 1301.03021号 罗马库兹涅茨;托马斯·施图德 12 2012 知道原因的逻辑。 Zbl 1506.03068号 徐超;王燕京;托马斯·施图德 10 2021 显式数学中的宇宙。 Zbl 0980.03061号 贾格尔,格哈德;莱因哈德·卡勒;托马斯·施图德 9 2001 证明逻辑的子集模型。 Zbl 1530.03062号 莱曼,伊夫林;托马斯·施图德 9 2019 关于模态微积分的证明理论。 Zbl 1163.03014号 托马斯·施图德 9 2008 概率合理性逻辑的第一步。 Zbl 1405.03057号 艾奥尼斯·科基尼;彼得·马克西莫维奇;佐兰·奥格尼亚诺维奇;托马斯·施图德 9 2015 公共知识的句法删减。 Zbl 1170.03007号 凯·布伦勒;托马斯·施图德 8 2009 概率论证逻辑。 Zbl 1476.03013号 艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德 8 2016 更新为证据:信念扩展。 Zbl 1437.03069号 罗马库兹涅茨;托马斯·施图德 7 2013 无穷大\(\mu\)的规范完备性。 Zbl 1156.68013号 贾格尔,格哈德;马蒂斯·克雷茨;托马斯·施图德 7 2008 动态调整逻辑的部分实现。 Zbl 1328.03014号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 6 2011 带有非刚性代理集的时间认知逻辑,用于分析区块链协议。 Zbl 1442.68222号 博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德 6 2019 证明逻辑的弱算术解释。 Zbl 1405.03096号 罗马库兹涅茨;托马斯·施图德 6 2016 具有近似条件概率的证明逻辑。 Zbl 1495.03024号 佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德 6 2017 常识的演绎链。 Zbl 1104.03009号 马蒂斯·克雷茨;托马斯·施图德 5 2006 数据隐私的正式模型。 Zbl 1185.68824号 斯托帕,菲尼基;托马斯·施图德 5 2007 一些带有负面自省的证明逻辑的可决定性。 Zbl 1276.03017号 托马斯·施图德 5 2013 通过正当理由实现公告。 Zbl 1327.03011号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 5 2014 带一个变量的\(\mu\)-演算的简化。 Zbl 1457.03070号 格里戈里薄荷;托马斯·施图德 5 2012 线性时序逻辑的循环证明。 兹比尔1433.03052 艾奥尼斯·科基尼;托马斯·施图德 5 2016 Featherweight Java的建设性基础。 Zbl 1024.68014号 托马斯·施图德 4 2001 模态不动点逻辑的Buchholz规则。 Zbl 1278.03044号 贾格尔,格哈德;托马斯·施图德 4 2011 公共知识的句法删减。 Zbl 1347.03023号 凯·布伦勒;托马斯·施图德 4 2009 常识没有贝思的属性。 兹伯利1214.03013 托马斯·施图德 4 2009 显式数学理论等价于{ID}_1\). Zbl 0973.03078号 莱因哈德·卡勒;托马斯·施图德 三 2000 将递归程序的非终止形式化。 Zbl 1015.68026号 莱因哈德·卡勒;托马斯·施图德 三 2001 模态mu-calculus片段的句法删减。 Zbl 1259.03031号 凯·布伦勒;托马斯·施图德 三 2012 概率论证逻辑。 Zbl 1515.03073号 艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德 三 2020 获得常识的两种方法。 Zbl 1345.03027号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 三 2010 如何使杰伊正常化。 Zbl 0974.68076号 普罗布斯特,D。;T·斯图德。 2 2001 (\lambda_{str}^{{\,}}\)的语义:带有重载和延迟绑定的演算。 Zbl 1010.68032号 托马斯·施图德 2 2001 论证逻辑、推理跟踪和数据隐私。 Zbl 1283.03037号 托马斯·施图德 2 2011 (\mathcal{ALC}\)知识库的数据隐私。 Zbl 1211.68500号 普尼基·斯托帕;托马斯·施图德 2 2009 相关证明逻辑。 Zbl 1513.03035号 内纳德·萨维;托马斯·施图德 2 2019 常识的证明理论。 Zbl 1437.03070号 米歇尔·马蒂;托马斯·施图德 2 2018 显式非正规模态逻辑。 Zbl 07547734号 罗哈尼,阿提菲;托马斯·施图德 2 2021 区块链协议的概率共识。 Zbl 07170156号 博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;道德,德拉甘;托马斯·施图德 1 2019 子集模型中的信念扩展。 Zbl 1485.03039号 伊芙琳·莱曼;托马斯·施图德 1 2020 证明模态公式归纳法的合理性。 Zbl 1405.03046号 卢卡·阿尔贝鲁奇;于尔格Krähenbühl;托马斯·施图德 1 2014 区块链更新的逻辑。 兹比尔07285897 凯·布伦勒;弗鲁米尼、丹多洛;托马斯·施图德 1 2020 直觉主义证明逻辑的内在析取性质。 Zbl 1418.03056号 米歇尔·马蒂;托马斯·施图德 1 2018 证据的半环。 Zbl 07451579号 迈克尔·鲍尔;托马斯·施图德 1 2021 交互式证明的逻辑。 Zbl 07638205号 大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德 1 2022 明确证据的冲突容忍逻辑。 Zbl 07642561号 托马斯·施图德 1 2021 正当性逻辑中不可能的和相互冲突的义务。 Zbl 07655705号 费德里科·法罗尔迪。;梅格达德·加里;伊芙琳·莱曼;托马斯·施图德 1 2021 交互式证明的逻辑。 Zbl 07638205号 大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德 1 2022 知道原因的逻辑。 Zbl 1506.03068号 徐超;王燕京;托马斯·施图德 10 2021 显式非正规模态逻辑。 Zbl 07547734号 阿特菲·罗哈尼;托马斯·施图德 2 2021 证据的半环。 Zbl 07451579号 迈克尔·鲍尔;托马斯·施图德 1 2021 明确证据的冲突容忍逻辑。 Zbl 07642561号 托马斯·施图德 1 2021 正当性逻辑中不可能的和相互冲突的义务。 Zbl 07655705号 费德里科·法尔迪。;梅格达德·加里;伊芙琳·莱曼;托马斯·施图德 1 2021 概率论证逻辑。 Zbl 1515.03073号 艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德 三 2020 子集模型中的信念扩展。 Zbl 1485.03039号 伊芙琳·莱曼;托马斯·施图德 1 2020 区块链更新的逻辑。 Zbl 07285897号 Kai布伦勒;弗鲁米尼、丹多洛;托马斯·施图德 1 2020 证明和理由的逻辑。 Zbl 1457.03004号 罗马库兹涅茨;托马斯·施图德 14 2019 证明逻辑的子集模型。 Zbl 1530.03062号 伊芙琳·莱曼;托马斯·施图德 9 2019 带有非刚性代理集的时间认知逻辑,用于分析区块链协议。 Zbl 1442.68222号 博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德 6 2019 相关证明逻辑。 Zbl 1513.03035号 内纳德·萨维;托马斯·施图德 2 2019 区块链协议的概率共识。 Zbl 07170156号 博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;道德,德拉甘;托马斯·施图德 1 2019 常识的证明理论。 Zbl 1437.03070号 米歇尔·马蒂;托马斯·施图德 2 2018 直觉主义证明逻辑的内在析取性质。 Zbl 1418.03056号 米歇尔·马蒂;托马斯·施图德 1 2018 具有近似条件概率的证明逻辑。 Zbl 1495.03024号 佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德 6 2017 概率论证逻辑。 Zbl 1476.03013号 艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德 8 2016 证明逻辑的弱算术解释。 Zbl 1405.03096号 罗马库兹涅茨;托马斯·施图德 6 2016 线性时序逻辑的循环证明。 Zbl 1433.03052号 艾奥尼斯·科基尼;托马斯·施图德 5 2016 概率合理性逻辑的第一步。 Zbl 1405.03057号 艾奥尼斯·科基尼;彼得·马克西莫维奇;佐兰·奥格尼亚诺维奇;托马斯·施图德 9 2015 通过正当理由实现公告。 Zbl 1327.03011号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 5 2014 证明模态公式归纳法的合理性。 Zbl 1405.03046号 卢卡·阿尔贝鲁奇;于尔格Krähenbühl;托马斯·施图德 1 2014 更新为证据:信念扩展。 Zbl 1437.03069号 罗马库兹涅茨;托马斯·施图德 7 2013 一些带有负面自省的证明逻辑的可决定性。 Zbl 1276.03017号 托马斯·施图德 5 2013 合理性、本体论和保守性。 Zbl 1301.03021号 罗马库兹涅茨;托马斯·施图德 12 2012 带有一个变量的\(\mu\)-微积分的割消去法。 Zbl 1457.03070号 格里戈里薄荷;托马斯·施图德 5 2012 模态mu-calculus片段的句法删减。 Zbl 1259.03031号 凯·布伦勒;托马斯·施图德 三 2012 常识的理由。 Zbl 1242.03036号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 18 2011 动态调整逻辑的部分实现。 Zbl 1328.03014号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 6 2011 模态不动点逻辑的Buchholz规则。 Zbl 1278.03044号 贾格尔,格哈德;托马斯·施图德 4 2011 证明逻辑、推理跟踪和数据隐私。 Zbl 1283.03037号 托马斯·施图德 2 2011 获得常识的两种方法。 Zbl 1345.03027号 塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 三 2010 公共知识的句法删减。 Zbl 1170.03007号 Kai布伦勒;托马斯·施图德 8 2009 公共知识的句法删减。 Zbl 1347.03023号 凯·布伦勒;托马斯·施图德 4 2009 常识没有贝思的属性。 Zbl 1214.03013号 托马斯·施图德 4 2009 (\mathcal{ALC}\)知识库的数据隐私。 Zbl 1211.68500号 普尼基·斯托帕;托马斯·施图德 2 2009 关于模态μ演算的证明理论。 Zbl 1163.03014号 托马斯·施图德 9 2008 无穷大\(\mu\)的规范完备性。 Zbl 1156.68013号 贾格尔,格哈德;马蒂斯·克雷茨;托马斯·施图德 7 2008 无需刻板的常识。 Zbl 1144.03009号 贾格尔,格哈德;马蒂斯·克雷茨;托马斯·施图德 13 2007 数据隐私的正式模型。 Zbl 1185.68824号 普尼基·斯托帕;托马斯·施图德 5 2007 常识的演绎链。 Zbl 1104.03009号 马蒂斯·克雷茨;托马斯·施图德 5 2006 扩展显式数学系统T_(_0):极限和Mahlo公理。 兹伯利1002.03052 贾格尔,格哈德;托马斯·施图德 13 2002 显式数学中的宇宙。 Zbl 0980.03061号 贾格尔,格哈德;莱因哈德·卡勒;托马斯·施图德 9 2001 Featherweight Java的建设性基础。 Zbl 1024.68014号 托马斯·施图德 4 2001 将递归程序的非终止形式化。 Zbl 1015.68026号 莱因哈德·卡勒;托马斯·施图德 三 2001 如何使杰伊正常化。 Zbl 0974.68076号 普罗布斯特,D。;T·斯图德。 2 2001 (\lambda_{str}^{{\,}}\)的语义:带有重载和延迟绑定的演算。 Zbl 1010.68032号 托马斯·施图德 2 2001 显式数学理论等价于{ID}_1\). Zbl 0973.03078号 莱因哈德·卡勒;托马斯·施图德 三 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名133位作者引用 29 托马斯·施图德 9 贾格尔,格哈德 7 罗马库兹涅茨 7 佐兰·奥格尼亚诺维奇 5 莱因哈德·卡勒 5 王燕京 4 凯·布伦勒 4 道德,德拉甘 三 罗马斯·阿隆德里斯 三 塞缪尔·布切利 三 Samuel R.巴斯。 三 梅格达德·加里 三 艾奥尼斯·科基尼 三 李彦军 三 迈克尔·拉特扬 2 彼得罗·阿巴特 2 伊万杰利亚·安东尼亚科斯 2 约阿希姆·比斯库普 2 达斯,阿努帕姆 2 Dautović,Šejla 2 樊、团房 2 哈洛达斯·吉德拉 2 萨缪尔·吉拉乌多 2 玛丽安娜·吉兰多 2 拉杰夫·普拉巴卡尔·戈尔 2 罗莎莉,伊姆霍夫 2 IlićStepić,安吉丽娜 2 Ulrich Wilhelm,科伦巴赫 2 大卫·莱纳 2 邱恩·荣·廖 2 米歇尔·马蒂 2 格里戈里·埃弗罗伊莫维奇造币厂 2 阿列克桑达尔·佩罗维奇 2 艾达,普留什凯维奇 2 普利乌什凯维奇乌斯,里贾曼塔斯 2 布莱恩·雷恩 2 阿特菲·罗哈尼 2 内纳德·萨维奇 2 托马斯·斯特拉姆 2 维尼马,伊德 2 弗洛里安·维德曼 2 莉娜·威斯 2 利科·赞布伦 1 阿夫沙里语、巴哈雷语 1 Akiyoshi、Ryota 1 阿尔伯特·阿特塞里亚斯 1 亚历山大·巴尔塔格 1 巴尔塞纳斯,埃弗拉多 1 迈克尔·鲍尔 1 Michael A.Benedikt。 1 博格,安妮玛丽 1 里卡多·布鲁尼 1 克里斯蒂安·卡钦 1 迭戈·卡尔瓦内斯 1 安德烈亚·坎蒂尼 1 伯纳多·昆卡·格劳 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 朱塞佩·德贾科莫 1 何塞·德·杰苏斯·拉瓦利·马丁内斯 1 尼尔·J·德波尔。 1 欧文·恩格尔 1 塞巴斯蒂安·恩奎斯特 1 方良达 1 阿米尔·法拉曼德·帕萨 1 费德里科·法罗尔迪。 1 尼古拉斯·费伦茨 1 劳尔·费尔瓦里 1 装配,梅尔文·克里斯 1 玛丽亚·乔昂·古韦亚 1 布莱恩·希尔 1 胡太伟 1 杰弗里·凯恩 1 马莫鲁·卡内科 1 亚历山大·凯克里斯。 1 佐藤·肯塔罗 1 埃戈尔·柯斯特列夫(Egor V.Kostylev)。 1 马蒂斯·克雷茨 1 马丁·兰格 1 马西莫·劳里亚 1 格雷厄姆·埃米尔·利 1 莫里齐奥·伦泽里尼 1 李、徐 1 刘永梅 1 埃米利亚诺·洛里尼 1 罗洁婷 1 拉杜·马达尔 1 约翰内斯·马蒂 1 吉勒莫梅内德斯·图拉塔 1 罗伯特·萨克森·米尔尼克尔 1 Mio、Matteo 1 吉列尔莫莫勒罗·卡斯蒂略 1 埃因·摩尔 1 帕维尔·G·瑙莫夫。 1 内格里,萨拉 1 斯蒂佩·潘季奇 1 内达·佩隆 1 尼古拉斯·皮斯克 1 弗朗西丝卡·波乔列西 1 约翰·奎金 1 詹姆·拉莫斯 …还有33位作者 全部的 前5名30篇连载文章中引用 19 纯逻辑与应用逻辑年鉴 8 Studia Logica公司 4 合成 4 符号逻辑述评 三 人工智能 三 理论计算机科学 三 逻辑与代数程序设计杂志 2 计算机与系统科学杂志 2 符号逻辑杂志 2 自动推理杂志 2 符号逻辑公报 2 数学与人工智能年鉴 2 ACM计算逻辑事务 2 Oberwolfach报告 2 泛逻辑 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 哲学逻辑杂志 1 逻辑科公报 1 国际近似推理杂志 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 联合国证券交易所 1 计算系统理论 1 应用逻辑杂志 1 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 1 Logicheskie Issledovaniya公司 全部的 前5名在9个字段中引用 103 数理逻辑与基础(03-XX) 44 计算机科学(68至XX) 4 阶、格、有序代数结构(06-XX) 三 总体主题;集合(00-XX) 2 组合数学(05-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文