编辑配置文件(在新选项卡中打开) 法语,蒂姆 合著者距离 作者ID: 法语时间 发布日期: 法语,蒂姆;法语,T。 已编制索引的文档: 41出版物自2001年起 合著者: 28位合著者具有35联合出版物 545位合作作者 全部的 前5名合著者 6 单作者的 18 马克·亚历山大·雷诺兹 11 汉斯·皮特·范·迪特马什 10 约翰·克里斯托弗(John Christopher McCabe-Dansted) 5 詹姆斯·黑尔斯 三 奥马尔·巴塔内赫 三 苏菲·平奇纳特 2 罗文·戴维斯 1 托马斯·奥戈特内斯 1 娜塔莎·亚历奇纳 1 路易吉·巴隆 1 劳拉·博泽利 1 乔瓦娜·达戈斯蒂诺 1 克莱尔·狄克逊 1 丹·戴尔 1 鲁斯塔姆·加利姆林 1 安德鲁·戈扎德 1 菲利普·辛斯顿 1 皮塔·伊利耶夫 1 格雷厄姆·肯德尔 1 巴特尔·皮特·库伊 1 贾科莫·伦齐 1 大阪,Yuki 1 斯莫波恩,哈里 1 埃德温·泰伊 1 刘易斯·托洛宁 1 范德霍克,威比 1 罗恩·范德梅登 1 费尔南多·雷蒙多(Fernando Raymundo) 全部的 前5名系列 2 人工智能 2 Studia Logica公司 2 理论计算机科学 2 信息与计算 2 逻辑与计算杂志 2 应用非经典逻辑杂志 1 计算的形式方面 1 逻辑、语言与信息杂志 1 计算机科学中的逻辑方法 领域 35 数学逻辑和基础(03-XX) 26 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用172次99文件 引用人▼ 年份▼ 任意公告逻辑的不确定性。 Zbl 1244.03058号 法语,蒂姆;汉斯·范·迪特马什 22 2008 模拟和信息:量化认知事件。 Zbl 1258.68150号 汉斯·范·迪特马什;法语,蒂姆 14 2009 细化模态逻辑。 Zbl 1309.68175号 劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 13 2014 量化公告的不确定性。 Zbl 1368.03021号 奥戈特内斯,T。;van Ditmarsch,H。;法语,T。 11 2016 意识到命题变量。 Zbl 1303.03047号 汉斯·范·迪特马什;法语,蒂姆 10 2010 量化命题分支时间逻辑的可判定性。 Zbl 1052.03007号 法语,蒂姆 9 2001 多智能体知识和信念的量化逻辑的细化。 兹比尔1301.03019 詹姆斯·黑尔斯;法语,蒂姆;罗文·戴维斯 9 2012 \(mu)-程序,模态逻辑的统一插值和互模拟量词。 Zbl 1186.03054号 乔瓦娜·达戈斯蒂诺;贾科莫·伦齐;法语,蒂姆 8 2006 未来事件逻辑——公理和复杂性。 Zbl 1254.03027号 汉斯·范·迪特马什;法语,蒂姆;苏菲·平奇纳特 7 2010 关于一些模态逻辑的简洁性。 Zbl 1270.03037号 法语,蒂姆;范德霍克,威比;皮塔·伊利耶夫;巴特尔·库伊 7 2013 稳健性的时间逻辑。 兹比尔1148.03312 法语,蒂姆;Mc Cabe-Dansted,John C。;马克·雷诺兹 6 2007 知识和意识变化的语义学。 兹比尔1305.68163 汉斯·范·迪特马什;法语,蒂姆 6 2014 动作模型的可组合语言。 Zbl 1385.03007号 法语,蒂姆;詹姆斯·黑尔斯;埃德温·泰伊 6 2014 积极的公告。 Zbl 07383333号 汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯 6 2021 隐性、显性和推测性知识。 Zbl 1444.03035号 汉斯·范·迪特马什;法语,蒂姆;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。;Wáng,YN。 5 2018 知识和过去时间逻辑的公理:同步和独特的初始状态。 Zbl 1102.03015号 法语,蒂姆;罗恩·范德梅登;马克·雷诺兹 4 2005 实域上时序逻辑的综合。 Zbl 1291.03029号 法语,蒂姆;John McCabe-Dansted先生;马克·雷诺兹 三 2012 完善的QPTL证明体系。 Zbl 1083.03022号 法语,蒂姆;马克·雷诺兹 三 2003 互模拟量化模态逻辑:可判定性。 Zbl 1146.03007号 法语,蒂姆 三 2006 对布尔型公告进行量化。 Zbl 07471709号 汉斯·范·迪特马什;法语,蒂姆 三 2022 细化量化的知识逻辑。 Zbl 1347.03024号 詹姆斯·黑尔斯;法语,蒂姆;戴维斯,罗文 三 2011 命题量化知识逻辑的可决定性。 Zbl 1205.03030号 法语,蒂姆 2 2003 利用差分矩阵求系统的最佳和最坏执行时间。 Zbl 1448.68177号 奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 2 2014 互模拟量化逻辑:不确定性。 Zbl 1172.03313号 法语,蒂姆 2 2005 具有义务和稳健性的时间逻辑的完整公理化。 兹比尔1354.03020 法语,蒂姆;约翰·C·麦卡贝·丹斯特德(John C.Mccabe-Dansted)。;马克·雷诺兹 2 2016 验证真实模型中的时间属性。 兹比尔1406.68052 法语,蒂姆;约翰·麦凯布·丹斯特德;马克·雷诺兹 1 2013 连续时间合成。 Zbl 1328.68126号 法语,蒂姆;John McCabe-Dansted先生;马克·雷诺兹 1 2015 加速具有循环行为的时间自动机模型的最坏情况执行时间分析。 Zbl 1328.68108号 奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 1 2015 模糊模型:线性时间内的模型构建和模型检查。 Zbl 1303.68084号 法语,蒂姆;约翰·麦卡贝·丹斯特德;马克·雷诺兹 1 2013 健壮逻辑的表达性和简洁性。 Zbl 1400.68137号 约翰·丹斯特德。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹 1 2015 概率推理的模态任意演算。 Zbl 07150808号 法语,蒂姆;安德鲁·戈扎德;马克·雷诺兹 1 2019 对布尔型公告进行量化。 Zbl 07471709号 汉斯·范·迪特马什;法语,蒂姆 三 2022 积极的公告。 Zbl 07383333号 汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯 6 2021 概率推理的模态任意演算。 Zbl 07150808号 法语,蒂姆;安德鲁·戈扎德;马克·雷诺兹 1 2019 隐性、显性和推测性知识。 Zbl 1444.03035号 汉斯·范·迪特马什;法语,蒂姆;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。;Wáng,YN。 5 2018 量化公告的不确定性。 兹比尔1368.03021 奥戈特内斯,T。;van Ditmarsch,H。;法语,T。 11 2016 具有义务和稳健性的时间逻辑的完整公理化。 Zbl 1354.03020号 法语,蒂姆;约翰·C·麦卡贝·丹斯特德(John C.Mccabe-Dansted)。;马克·雷诺兹 2 2016 连续时间合成。 Zbl 1328.68126号 法语,蒂姆;约翰·麦凯布·丹斯特德;马克·雷诺兹 1 2015 加速具有循环行为的时间自动机模型的最坏情况执行时间分析。 Zbl 1328.68108号 奥马尔·巴泰内;马克·雷诺兹;法语,蒂姆 1 2015 健壮逻辑的表达性和简洁性。 Zbl 1400.68137号 约翰·丹斯特德。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹 1 2015 细化模态逻辑。 Zbl 1309.68175号 劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 13 2014 知识和意识变化的语义学。 Zbl 1305.68163号 汉斯·范·迪特马什;法语,蒂姆 6 2014 动作模型的可组合语言。 Zbl 1385.03007号 法语,蒂姆;詹姆斯·黑尔斯;埃德温·泰伊 6 2014 利用差分矩阵求系统的最佳和最坏执行时间。 Zbl 1448.68177号 奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 2 2014 关于一些模态逻辑的简洁性。 Zbl 1270.03037号 法语,蒂姆;范德霍克,威比;皮塔·伊利耶夫;巴特尔·库伊 7 2013 验证真实模型中的时间属性。 兹比尔1406.68052 法语,蒂姆;John McCabe-Dansted先生;马克·雷诺兹 1 2013 模糊模型:线性时间内的模型构建和模型检查。 Zbl 1303.68084号 法语,蒂姆;约翰·麦卡贝·丹斯特德;马克·雷诺兹 1 2013 多智能体知识和信念的量化逻辑的细化。 Zbl 1301.03019号 詹姆斯·黑尔斯;法语,蒂姆;罗文·戴维斯 9 2012 实域上时序逻辑的综合。 兹比尔1291.03029 法语,蒂姆;John McCabe-Dansted先生;马克·雷诺兹 三 2012 细化量化的知识逻辑。 Zbl 1347.03024号 詹姆斯·黑尔斯;法语,蒂姆;罗文·戴维斯 三 2011 意识到命题变量。 Zbl 1303.03047号 汉斯·范·迪特马什;法语,蒂姆 10 2010 未来事件逻辑——公理和复杂性。 兹比尔1254.03027 汉斯·范·迪特马什;法语,蒂姆;苏菲·平奇纳特 7 2010 模拟和信息:量化认知事件。 Zbl 1258.68150号 汉斯·范·迪特马什;法语,蒂姆 14 2009 任意公告逻辑的不可解释性。 Zbl 1244.03058号 法语,蒂姆;汉斯·范·迪特马什 22 2008 稳健性的时间逻辑。 Zbl 1148.03312号 法语,蒂姆;Mc Cabe-Dansted,John C。;马克·雷诺兹 6 2007 \(mu)-程序,模态逻辑的统一插值和互模拟量词。 Zbl 1186.03054号 D’乔瓦娜·阿戈斯蒂诺;贾科莫·伦齐;法语,蒂姆 8 2006 互模拟量化模态逻辑:可判定性。 Zbl 1146.03007号 法语,蒂姆 三 2006 知识和过去时间逻辑的公理:同步和独特的初始状态。 Zbl 1102.03015号 法语,蒂姆;罗恩·范德梅登;马克·雷诺兹 4 2005 互模拟量化逻辑:不确定性。 Zbl 1172.03313号 法语,蒂姆 2 2005 完善的QPTL证明体系。 Zbl 1083.03022号 法语,蒂姆;马克·雷诺兹 三 2003 命题量化知识逻辑的可决定性。 Zbl 1205.03030号 法语,蒂姆 2 2003 量化命题分支时间逻辑的可判定性。 Zbl 1052.03007号 法语,蒂姆 9 2001 所有引用出版物 前5名被引用出版物 全部的 前5名149位作者引用 27 汉斯·皮特·范·迪特马什 14 法语,蒂姆 6 Kuijer、Louwe Bouke 6 马克·亚历山大·雷诺兹 5 鲁斯塔姆·加利姆林 4 安德烈亚斯·赫齐格 4 埃里克·帕奎特 4 苏菲·平奇纳特 4 布克哈德·C·希珀。 4 弗朗索瓦州施瓦岑特鲁伯 三 托马斯·奥戈特内斯 三 娜塔莎·亚历奇纳 三 菲利普·巴尔比亚尼 三 劳拉·博泽利 三 迪米塔尔·P·盖列夫。 三 詹姆斯·黑尔斯 三 巴特尔·皮特·库伊 三 埃米利亚诺·洛里尼 三 尼古拉斯·马基 三 巴斯蒂安·莫伯特 三 约翰·克里斯托弗(John Christopher McCabe-Dansted) 三 阿尼埃洛·穆拉诺 三 艾比克·厄兹根 三 范德霍克,威比 三 费尔南多·雷蒙多(Fernando Raymundo) 2 Nazareno M.阿吉雷。 2 奥马尔·巴塔内赫 2 卡洛斯·阿雷塞斯 2 亚历山大·巴尔塔格 2 帕特里夏·鲍耶 2 巴勃罗·卡斯特罗。 2 蒂亚戈,德利马 2 克莱尔·狄克逊 2 范洁 2 劳尔·费尔瓦里 2 Tomohiro Hoshi 2 索菲亚·奈特 2 弗朗索瓦·拉鲁西尼 2 刘永梅 2 法比奥·莫加维罗 2 佩雷·帕尔多 2 舒新峰 1 阿拉塞利·阿科斯塔 1 曼努埃尔·阿滕西亚 1 巴托斯·贝德纳西克 1 盖亚·贝拉迪内利 1 瓦夏克·贝勒 1 迪伦·贝利尔 1 马西莫·贝内雷切蒂 1 托马斯·博兰德 1 盖,格里戈里 1 埃琳娜·博托埃娃 1 吉安弗兰科·西亚多 1 Jean-RenéCourtault 1 乔瓦娜·达戈斯蒂诺 1 达姆,麦兹 1 罗文·戴维斯 1 Dégremont,塞德里克 1 黛拉·莫妮卡,达里奥 1 拉米罗·德马西 1 Stéphane P.德姆里。 1 柯特林·迪马 1 丁一峰 1 杜洪伟 1 段振华 1 辛迪·艾斯纳 1 尤泽纳特,杰罗姆 1 方碧青 1 方良达 1 保罗·费利 1 大卫·费尔南德斯·杜克 1 纳塔娜·菲亚尔科夫 1 达纳·菲斯曼 1 迪迪埃·加米歇 1 大卫·格罗西 1 鸠山由纪夫 1 丹·赫内斯特 1 罗宾·赫希 1 何希明 1 卫斯理·H·霍利迪。 1 阿卡什侯赛因 1 黄,范 1 乌尔里希·赫斯塔特 1 皮塔·伊利耶夫 1 金小青 1 塞西莉亚·基尔默里 1 鲍里斯·科涅夫 1 奥尔纳·库普弗曼 1 Lena Kurzen 1 杰罗姆·朗 1 尤斯拉·莱姆巴哈 1 贾科莫·伦齐 1 克里斯托弗·勒图尔 1 刘、胡 1 刘、莫 1 马丁·吕克 1 卡斯滕·卢茨 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 皮埃尔·侯爵 1 希拉·麦克拉伊思。 …还有49位作者 全部的 前5名22篇连载文章中引用 8 合成 8 信息与计算 8 应用非经典逻辑杂志 7 人工智能 7 Studia Logica公司 7 理论计算机科学 6 计算机科学中的逻辑方法 5 逻辑、语言与信息杂志 三 ACM计算逻辑事务 2 哲学逻辑杂志 2 计算的形式方面 2 逻辑与逻辑哲学 1 立陶宛数学杂志 1 国际博弈论杂志 1 经济理论杂志 1 符号逻辑杂志 1 数学社会科学 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 1 应用逻辑杂志 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 86 数学逻辑和基础(03-XX) 56 计算机科学(68至XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文