编辑配置文件(在新选项卡中打开) 大卫·费尔南德斯·杜克 合著者距离 作者ID: 费尔南德斯·杜克(fernandez-duque.david) 发布方式: 大卫·费尔南德斯·杜克;大卫·费尔南德斯·杜克;Fernández Duque博士。 更多。。。较少的 外部链接: ORCID公司 已编制索引的文档: 78出版物自2007年以来,包括9附加arXiv预打印 3作为编辑的贡献 合著者: 50位合著者具有65联合出版物 975位合作作者 全部的 前5名合著者 16 单作者的 13 Joost J.乔斯特恩。 8 马丁·迪盖兹 8 汉斯·皮特·范·迪特马什 8 安德烈亚斯·魏尔曼 6 胡安·巴勃罗·阿奎莱拉 6 菲利普·巴尔比亚尼 6 约瑟夫·布杜 5 费尔南多·索勒·托斯卡诺 4 安德烈斯·科多恩·佛朗哥 4 Montacute,Yoáv 三 皮塔·伊利耶夫 三 安格尔,内波穆塞诺·费尔南德斯 2 简·比季奥夫斯克 2 瓦伦丁·F·戈兰科。 2 Gougeon,昆廷 2 爱德华多·赫莫·雷耶斯 2 安德烈亚斯·赫齐格 2 埃里克·帕奎特 2 康斯坦蒂诺斯·帕帕菲利波 2 保罗·沙弗 2 van Benthem,Johan F.A.K。 2 范德霍克,威比 2 Keita横山 1 Arai、Toshiyasu 1 列夫·贝克莱米舍夫。 1 古拉姆·贝扎尼什维利 1 科内杰罗·罗德里格斯(Conejero Rodríguez)、胡安·何塞(Juan José) 1 阿纳州阿尔梅达博尔赫斯 1 利斯贝斯·德·莫尔 1 奥利奥拉·吉塔吉 1 米雷亚González Bedmar 1 沃伊特克·贾姆罗加 1 菲利普·克莱默 1 埃斯特班·兰德雷切 1 拉拉·马汀,弗朗西斯科·费利克斯 1 埃米利亚诺·洛里尼 1 弗罗林·马内亚 1 布雷特·麦克林 1 曼纽尔·奥杰达·阿西戈 1 费多尔·帕霍莫夫。 1 亚历山德拉·帕尔米吉亚诺 1 康斯特纳蒂诺斯州帕帕菲利波 1 苏菲·平奇纳特 1 法比安·罗梅罗 1 弗朗西斯科·萨格罗·拉米拉尔。 1 Enrique Sarrión-Morrillo 1 维什纳维桑达拉扬 1 苏雷什,S.P。 1 费尔南多·雷蒙多(Fernando Raymundo) 1 斯坦利·斯科特·韦纳 全部的 前5名系列 7 符号逻辑杂志 6 IGPL逻辑杂志 4 纯逻辑与应用逻辑年鉴 4 逻辑与计算杂志 三 Studia Logica公司 2 信息与计算 2 设计、代码和密码 2 澳大利亚组合数学杂志 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 1 离散应用数学 1 信息科学 1 哲学逻辑杂志 1 美国数学学会会刊 1 理论计算机科学 1 骨髓间充质干细胞。计算机科学中的数学结构 1 数学逻辑档案 1 选择Mathematica。新系列 1 符号逻辑公报 1 马特马提卡小姐 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 符号逻辑述评 全部的 前5名领域 61 数学逻辑和基础(03-XX) 13 计算机科学(68至XX) 7 信息与通信理论、电路(94-XX) 6 一般拓扑结构(54至XX) 三 一般性和全局性主题;集合(00-XX) 2 动力系统和遍历理论(37至XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 历史与传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 测量和集成(28-XX) 1 几何形状(51至XX) 1 整体分析,流形分析(58至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 42出版物有被引用239中的次104文件 引用人▼ 年份▼ 广义俄罗斯卡问题的着色协议。 Zbl 1295.94176号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;费尔南多·索勒·托斯卡诺 15 2013 邻里结构中的证据和合理性。 Zbl 1345.03045号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 15 2014 关于线性序模态的可证明逻辑。 Zbl 1322.03042号 列夫·贝克莱米舍夫。;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 14 2014 超限可证明逻辑模型。 Zbl 1275.03158号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 13 2013 证据逻辑:邻域结构的新视角。 Zbl 1291.03027号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 10 2012 卡片加密的几何协议。 Zbl 1351.94036号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;费尔南多·索勒·托斯卡诺 10 2015 有限传递模型可模拟性的模态定义。 Zbl 1246.03042号 大卫·费尔南德斯·杜克 10 2011 超限Japaridze代数中的良序。 Zbl 1405.03095号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 10 2014 超限可证逻辑的多极性。 Zbl 1352.03071号 大卫·费尔南德斯·杜克 10 2014 用于纸牌播放器的安全附加协议。 Zbl 1286.94095号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;费尔南多·索勒·托斯卡诺 9 2012 超限可证明逻辑的欧米伽规则解释。 Zbl 1429.03211号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 8 2018 双曲线、Veblen级数和序数函数的超限迭代。 Zbl 1383.03055号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 7 2013 动态拓扑逻辑的完善公理化。 Zbl 1256.03025号 大卫·费尔南德斯·杜克 7 2012 \(\mathbb R^2\)的动态拓扑完备性。 Zbl 1126.03021号 大卫·费尔南德斯·杜克 7 2007 资源型主体认知态度的动态变化。 Zbl 07075851号 菲利普·巴尔比亚尼;大卫·费尔南德斯·杜克;埃米利亚诺·洛里尼 7 2019 序空间可证明逻辑的强完备性。 Zbl 1419.03054号 Juan P.阿奎莱拉。;大卫·费尔南德斯·杜克 6 2017 超限可证明逻辑的克里普克模型。 Zbl 1301.03063号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 5 2012 直觉主义线性时序逻辑。 兹比尔1433.03047 菲利普·巴尔比亚尼;约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克 5 2020 动力系统的直觉时间逻辑。 兹比尔1453.03014 大卫·费尔南德斯·杜克 5 2018 \(\mathsf的绝对完整性{S4}u(_u)\)因为它的测量论语义。 Zbl 1254.03031号 大卫·费尔南德斯·杜克 5 2010 一种可判定的直觉主义时间逻辑。 Zbl 1434.03065号 约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克 4 2017 Ackermannian Goodstein过程的预期无法证明的终止。 Zbl 1484.03125号 Arai、Toshiyasu;大卫·费尔南德斯·杜克;斯坦利·韦纳;安德烈亚斯·魏尔曼 4 2020 度量空间的动态拓扑逻辑。 Zbl 1241.03020号 大卫·费尔南德斯·杜克 4 2012 无条件安全通信的近乎完美安全案例研究。 Zbl 1379.94044号 埃斯特班·兰德雷切;大卫·费尔南德斯·杜克 4 2017 论认知逻辑中模拟和互模拟的可定义性。 Zbl 1431.03030号 汉斯·范·迪特马什;大卫·费尔南德斯·杜克;范德霍克,威比 4 2014 通过超限反射的预测性。 Zbl 1402.03086号 安德烈斯·科多恩·佛朗哥;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;拉拉·马汀,弗朗西斯科·费利克斯 4 2017 拓扑动力学的纠缠模态逻辑。 Zbl 1248.03033号 大卫·费尔南德斯·杜克 4 2012 在最小系统上解释的动态拓扑逻辑。 Zbl 1243.03027号 大卫·费尔南德斯·杜克 4 2011 动态拓扑逻辑的非有限公理化。 Zbl 1287.03069号 大卫·费尔南德斯·杜克 4 2014 分布式信息的安全聚合:一组代理如何在间谍面前安全共享机密。 Zbl 1356.94090号 大卫·费尔南德斯·杜克;瓦伦丁·戈兰科 4 2016 空间微积分子系统的简洁性。 Zbl 1513.03043号 大卫·费尔南德斯·杜克;皮塔·伊利耶夫 4 2018 图灵级数及其良好次序。 Zbl 1358.03093号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 三 2012 “最终”的直观公理化。 Zbl 1418.03078号 马丁·迪盖兹;大卫·费尔南德斯·杜克 2 2018 直觉时态逻辑的公理系统和拓扑语义。 Zbl 1525.03064号 约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克;法比安·罗梅罗 2 2019 忘记复杂的命题。 兹比尔1405.03039 大卫·费尔南德斯·杜克;安格尔,内波穆塞诺·费尔南德斯;Sarrión-Morrillo,恩里克;费尔南多·索勒·托斯卡诺;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 2 2015 通过转移投影实现完美的数据聚合安全。 Zbl 1398.94114号 大卫·费尔南德斯·杜克 2 2016 \(\varGamma_0\)的自包含可证明演算。 Zbl 1530.03157号 大卫·费尔南德斯·杜克;爱德华多·赫莫·雷耶斯 1 2019 结构外展表。 Zbl 1246.68212号 安格尔,内波穆塞诺·费尔南德斯;弗朗西斯科·萨格罗·拉米拉尔。;大卫·费尔南德斯·杜克 1 2012 用于建模溯源推理的模式框架。 Zbl 1246.03021号 费尔南多·索勒·托斯卡诺;大卫·费尔南德斯·杜克;安格尔,内波穆塞诺·费尔南德斯 1 2012 验证逻辑:否定自省的算术解释。 Zbl 1402.03085号 Juan P.阿奎莱拉。;大卫·费尔南德斯·杜克 1 2016 弱和强算术系统中的Ekeland变分原理。 Zbl 1467.03006号 大卫·费尔南德斯·杜克;保罗·沙弗;Keita横山 1 2020 Ackermannian Goodstein中间生长序列。 Zbl 07633505号 大卫·费尔南德斯·杜克;安德烈亚斯·魏尔曼 1 2020 直觉主义线性时序逻辑。 Zbl 1433.03047号 菲利普·巴尔比亚尼;约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克 5 2020 Ackermannian Goodstein过程的预期无法证明的终止。 Zbl 1484.03125号 Arai、Toshiyasu;大卫·费尔南德斯·杜克;斯坦利·韦纳;安德烈亚斯·魏尔曼 4 2020 弱和强算术系统中的Ekeland变分原理。 Zbl 1467.03006号 大卫·费尔南德斯·杜克;保罗·沙弗;Keita横山 1 2020 Ackermannian Goodstein中间生长序列。 Zbl 07633505号 大卫·费尔南德斯·杜克;安德烈亚斯·魏尔曼 1 2020 资源型主体认知态度的动态变化。 Zbl 07075851号 菲利普·巴尔比亚尼;大卫·费尔南德斯·杜克;埃米利亚诺·洛里尼 7 2019 直觉时态逻辑的公理系统和拓扑语义。 Zbl 1525.03064号 约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克;法比安·罗梅罗 2 2019 \(\varGamma_0\)的自包含可证明演算。 Zbl 1530.03157号 大卫·费尔南德斯·杜克;埃莫·雷耶斯,爱德华多 1 2019 超限可证明逻辑的omega规则解释。 兹比尔1429.03211 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 8 2018 动力系统的直觉时间逻辑。 Zbl 1453.03014号 大卫·费尔南德斯·杜克 5 2018 空间微积分子系统的简洁性。 Zbl 1513.03043号 大卫·费尔南德斯·杜克;皮塔·伊利耶夫 4 2018 “最终”的直观公理化。 Zbl 1418.03078号 马丁·迪盖兹;大卫·费尔南德斯·杜克 2 2018 序空间可证明逻辑的强完备性。 Zbl 1419.03054号 Juan P.阿奎莱拉。;大卫·费尔南德斯·杜克 6 2017 一种可判定的直觉主义时间逻辑。 Zbl 1434.03065号 约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克 4 2017 无条件安全通信的近乎完美安全案例研究。 Zbl 1379.94044号 埃斯特班·兰德雷切;大卫·费尔南德斯·杜克 4 2017 通过超限反射的预测性。 Zbl 1402.03086号 安德烈斯·科多恩·佛朗哥;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;拉拉·马汀,弗朗西斯科·费利克斯 4 2017 分布式信息的安全聚合:一组代理如何在间谍面前安全共享机密。 Zbl 1356.94090号 大卫·费尔南德斯·杜克;瓦伦丁·戈兰科 4 2016 通过转移投影实现完美的数据聚合安全。 Zbl 1398.94114号 大卫·费尔南德斯·杜克 2 2016 验证逻辑:否定自省的算术解释。 Zbl 1402.03085号 Juan P.阿奎莱拉。;大卫·费尔南德斯·杜克 1 2016 卡片加密的几何协议。 Zbl 1351.94036号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;费尔南多·索勒·托斯卡诺 10 2015 忘记复杂的命题。 Zbl 1405.03039号 大卫·费尔南德斯·杜克;安格尔,内波穆塞诺·费尔南德斯;Enrique Sarrión-Morrillo;费尔南多·索勒·托斯卡诺;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 2 2015 邻里结构中的证据和合理性。 Zbl 1345.03045号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 15 2014 关于线性序模态的可证明逻辑。 Zbl 1322.03042号 列夫·贝克莱米舍夫。;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 14 2014 超限Japaridze代数中的良序。 Zbl 1405.03095号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 10 2014 超限可证逻辑的多极性。 Zbl 1352.03071号 大卫·费尔南德斯·杜克 10 2014 论认知逻辑中模拟和互模拟的可定义性。 Zbl 1431.03030号 汉斯·范·迪特马什;大卫·费尔南德斯·杜克;范德霍克,威比 4 2014 动态拓扑逻辑的非有限公理化。 兹比尔1287.03069 大卫·费尔南德斯·杜克 4 2014 广义俄罗斯卡问题的着色协议。 Zbl 1295.94176号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;费尔南多·索勒·托斯卡诺 15 2013 超限可证明逻辑模型。 Zbl 1275.03158号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 13 2013 双曲线、Veblen级数和序数函数的超限迭代。 Zbl 1383.03055号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 7 2013 证据逻辑:邻域结构的新视角。 Zbl 1291.03027号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 10 2012 用于纸牌播放器的安全附加协议。 Zbl 1286.94095号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;费尔南多·索勒·托斯卡诺 9 2012 动态拓扑逻辑的完善公理化。 Zbl 1256.03025号 大卫·费尔南德斯·杜克 7 2012 超限可证明逻辑的克里普克模型。 Zbl 1301.03063号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 5 2012 度量空间的动态拓扑逻辑。 Zbl 1241.03020号 大卫·费尔南德斯·杜克 4 2012 拓扑动力学的纠缠模态逻辑。 Zbl 1248.03033号 大卫·费尔南德斯·杜克 4 2012 图灵级数及其良好次序。 Zbl 1358.03093号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 三 2012 结构外展表。 Zbl 1246.68212号 安格尔,内波穆塞诺·费尔南德斯;弗朗西斯科·萨格罗·拉米拉尔。;大卫·费尔南德斯·杜克 1 2012 用于建模溯源推理的模式框架。 Zbl 1246.03021号 费尔南多·索勒·托斯卡诺;大卫·费尔南德斯·杜克;安格尔,内波穆塞诺·费尔南德斯 1 2012 有限传递模型可模拟性的模态定义。 Zbl 1246.03042号 大卫·费尔南德斯·杜克 10 2011 在最小系统上解释的动态拓扑逻辑。 Zbl 1243.03027号 大卫·费尔南德斯·杜克 4 2011 \(\mathsf的绝对完整性{S4}u(_u)\)因为它的测量论语义。 Zbl 1254.03031号 大卫·费尔南德斯·杜克 5 2010 \(\mathbb R^2)的动态拓扑完备性。 兹比尔1126.03021 大卫·费尔南德斯·杜克 7 2007 所有引用出版物 前5名被引用出版物 全部的 前5名被120位作者引用 33 大卫·费尔南德斯·杜克 10 Joost J.乔斯特恩。 9 汉斯·皮特·范·迪特马什 5 列夫·贝克莱米舍夫。 4 胡安·巴勃罗·阿奎莱拉 4 艾比克·厄兹根 4 安德烈亚斯·魏尔曼 三 安德烈斯·科多恩·佛朗哥 三 马丁·迪盖兹 三 法语,蒂姆 三 塔马尔·兰多 三 费多尔·帕霍莫夫。 三 塞尔吉奥·拉杰斯鲍姆 三 Smets,Sonja J.L。 三 费尔南多·索勒·托斯卡诺 三 van Benthem,Johan F.A.K。 三 费尔南多·雷蒙多(Fernando Raymundo) 2 托马斯·奥戈特内斯 2 弗朗西斯科·贝尔托 2 约瑟夫·布杜 2 斯特凡妮娅·科斯坦蒂尼 2 鲁斯塔姆·加利姆林 2 罗伯特·伊恩·戈德布拉特 2 Gougeon,昆廷 2 爱德华多·赫莫·雷耶斯 2 伊恩·马丁·霍德金森 2 菲利普·克莱默 2 邱恩·荣·廖 2 Rasmus Krmmer Rendsvig 2 石、陈伟 2 道格拉斯·罗伯特·斯蒂森 2 科琳·M·斯旺森。 2 范·艾伊克(Jan van Eijck) 2 王,燕京 1 娜塔莎·亚历奇纳 1 米克尔·比凯加德·安徒生(Mikkel Birkegaard Andersen) 1 Arai、Toshiyasu 1 Joan Bagaria 1 亚历山大·巴尔塔格 1 盖亚·贝拉迪内利 1 古拉姆·贝扎尼什维利 1 尼克·贝扎尼什维利 1 亚当·比约恩达尔 1 罗斯·波勒 1 托马斯·博兰德 1 贾科莫·博纳诺 1 Tyler D.P.布鲁内特。 1 沃尔特·亚历山大·卡尼埃利 1 艾科·奇达 1 丁一峰 1 努尔汗·埃哈布 1 尤里·埃雷曼。 1 樊、团房 1 大卫·费尔南德斯 1 安德烈亚·福米萨诺 1 安东·弗伦德 1 大卫·加伯里亚 1 马尔文·加廷格 1 穆罕默德·戈尔沙尼 1 瓦伦丁·F·戈兰科。 1 托尔·哈格兰 1 詹姆斯·黑尔斯 1 黄,裴 1 Rie石川 1 Ismail,Haythem O。 1 马丁·霍尔姆·延森 1 马里兰州阿基尔汗 1 埃斯特班·兰德雷切 1 拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix) 1 佐伊·莱瓦·阿科斯塔 1 李凯 1 李润东 1 李旭 1 李彦军 1 梁飞 1 林恩兵 1 林哲 1 刘继新 1 刘明浩 1 埃米利亚诺·洛里尼 1 马,菲菲 1 布雷特·麦克林 1 高崎水木 1 Montacute,Yoáv 1 安格尔,内波穆塞诺·费尔南德斯 1 埃里克·帕奎特 1 康斯特纳蒂诺斯州帕帕菲利波 1 爱德华多·帕斯库阿尔·阿塞夫 1 维尼塔·辛格·帕特尔 1 吉尔曼·佩耶特 1 彭,于 1 马里奥广场 1 瓦伦蒂娜·皮托尼 1 安德烈·普拉泽 1 加布里埃尔·普尔奇尼 1 詹姆·拉莫斯 1 乔安·拉斯加 1 Michael Rathjen,迈克尔 1 罗德里格斯,阿比里奥 1 米哈伊尔·尼古拉埃维奇·里巴科夫 …还有20多位作者 全部的 前5名36篇连载文章中引用 9 符号逻辑杂志 9 纯逻辑与应用逻辑年鉴 6 Studia Logica公司 4 哲学逻辑杂志 4 数学逻辑档案 4 符号逻辑述评 三 设计、代码和密码 三 计算机科学中的逻辑方法 2 信息科学 2 圣母院形式逻辑杂志 2 合成 2 理论计算机科学 2 逻辑、语言与信息杂志 2 应用非经典逻辑杂志 2 符号逻辑公报 1 人工智能 1 离散应用数学 1 俄罗斯数学调查 1 太平洋数学杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 美国数学学会会刊 1 信息与计算 1 国际近似推理杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 澳大利亚组合数学杂志 1 组合数学电子期刊 1 数学与人工智能年鉴 1 Izvestiya:数学 1 Doklady数学 1 Modelirovanie模型 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 应用逻辑杂志 1 程序设计中的逻辑和代数方法杂志 1 Logicheskie Issledovaniya逻辑 全部的 前5名在14个字段中引用 82 数学逻辑和基础(03-XX) 28 计算机科学(68至XX) 13 信息与通信理论、电路(94-XX) 10 一般拓扑结构(54至XX) 三 组合数学(05-XX) 三 测量和集成(28-XX) 三 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 2 动力系统和遍历理论(37至XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 偏微分方程(35-XX) 1 几何形状(51至XX) 1 概率论与随机过程(60-XX) 1 光学、电磁理论(78-XX) 按年份列出的引文