大卫·费尔南德斯·杜克
人员信息
附属： 根特大学，比利时根特 隶属关系（前）： 法国CIMI图卢兹大学 隶属关系（前）： 墨西哥墨西哥城数学系
优化列表
2020年–今天
2024 
[公元49年] 大卫·费尔南德斯·杜克 
, 安德烈亚斯·魏尔曼 :
与古德斯坦散步。 牛市。 符号。 日志。 30 ( 1 ) : 1-19 ( 2024 ) [公元48年] 古拉姆·贝扎尼什维利 , 大卫·费尔南德斯·杜克 :
拜尔闭包及其逻辑。 J.塞姆。 日志。 89 ( 1 ) : 27-49 ( 2024 ) [公元47年] 大卫·费尔南德斯·杜克 , 昆廷美食 :
不动点逻辑和可定义的拓扑属性。 数学。 结构。 计算。 科学。 34 ( 2 ) : 81-97 ( 2024 ) [公元46年] 大卫·费尔南德斯·杜克 :
驯服“别处”：论拓扑语言的表达性。 版本符号。 日志。 17 ( 1 ) : 144-153 ( 2024 ) [c35] 大卫·费尔南德斯·杜克 , Yoáv Montacute一案 :
度量空间的动态纠缠导数逻辑。 AAAI公司 2024 : 10509-10516 [i26] 菲利普·巴尔比亚尼 , 马丁·迪格斯 , 大卫·费尔南德斯·杜克 , 布雷特·麦克莱恩 :
具有有限双相关框架性质的构造S4模态逻辑。 CoRR公司 abs/2403.00201 ( 2024 ) 2023 [j45] 亚历山德鲁·巴尔塔格 , 尼克·贝扎尼什维利 , 大卫·费尔南德斯·杜克 :
拓扑多演算：完备性和可判定性。 美国临床医学杂志 70 ( 5 ) : 33:1-33:38 ( 2023 ) [公元44年] 大卫·费尔南德斯·杜克 , Yoàv蒙塔库蒂 :
动态康托导数逻辑。 日志。 方法计算。 科学。 19 ( 4 ) ( 2023 ) [公元34年] 大卫·费尔南德斯·杜克 , Yoáv Montacute一案 :
无角度：一个完整的动态拓扑逻辑。 AAAI公司 2023 : 6355-6362 [公元33年] 大卫·费尔南德斯·杜克 , 康斯特纳蒂诺斯·帕帕菲利波 :
空间推理的通用逻辑。 杰莉亚 2023 : 814-827 [公元32年] 大卫·费尔南德斯·杜克 , 布雷特·麦克莱恩 , 卢卡斯·曾格 :
一系列可决定的双教学模态逻辑。 KR公司 2023 : 262-271 [公元31年] 大卫·费尔南德斯·杜克 , 昆廷美食 :
半球空间上的不动点逻辑。 低收入国家 2023 : 1-13 [i25] 大卫·费尔南德斯·杜克 , Yoàv蒙塔库蒂 :
度量空间的动态纠缠导数逻辑。 CoRR公司 abs/2301.09904 ( 2023 ) 【i24】 胡安·巴勃罗·阿奎莱拉·奥祖纳 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 布雷特·麦克莱恩 :
哥德尔-杜米特线性时序逻辑。 CoRR公司 abs/2306.15805 ( 2023 ) 2022 [公元43年] 大卫·费尔南德斯·杜克 , 爱德华多·赫尔莫·雷耶斯 :
Beklemishev自治可证明演算中的可推导性和独立性。 Inf.计算。 287 : 104758 ( 2022 ) [公元42年] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 安德烈亚斯·赫齐格 , 佩塔尔·伊利耶夫 :
模态公理复杂性的框架有效性游戏和下限。 日志。 J.IGPL公司 30 ( 1 ) : 155-185 ( 2022 ) [j41] 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
拓扑动力学的完全直觉时间逻辑。 J.塞姆。 日志。 87 ( 三 ) : 995-1022 ( 2022 ) [j40] 胡安·阿奎莱拉 , 简·比佐夫斯基 , 大卫·费尔南德斯·杜克 :
诺以太哥德尔逻辑。 J.日志。 计算。 32 ( 8 ) : 1487-1503 ( 2022 ) [公元39年] 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费多·帕霍莫夫 , 康斯特纳蒂诺斯·帕帕菲利波 , 安德烈亚斯·魏尔曼 :
算术和超算术蠕虫大战。 J.日志。 计算。 32 ( 8 ) : 1558-1584 ( 2022 ) [公元30年] 大卫·费尔南德斯·杜克 , Yoáv Montacute一案 :
动态康托导数逻辑。 CSL公司 2022 : 19:1-19:17 [公元29年] 胡安·阿奎莱拉 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 布雷特·麦克莱恩 :
线性时间逻辑的哥德尔演算。 KR公司 2022 [公元28年] 亚历山德鲁·巴尔塔格 , 尼克·贝扎尼什维利 , 大卫·费尔南德斯·杜克 :
惊喜的拓扑。 KR公司 2022 [公元27年] 胡安·阿奎莱拉 , 简·比佐夫斯基 , 大卫·费尔南德斯·杜克 :
一个非超算术的哥德尔逻辑。 LFCS公司 2022 : 1-8 [公元26年] 大卫·费尔南德斯·杜克 , 康斯特纳蒂诺斯·帕帕菲利波 , 乔斯特·J·乔斯顿 :
超算术蠕虫大战。 LFCS公司 2022 : 52-69 [公元25年] 胡安·阿奎莱拉 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 布雷特·麦克莱恩 :
时间和哥德尔：PSPACE中的模糊时间推理。 沃尔利克 2022 : 18-35 [公元24年] 大卫·费尔南德斯·杜克 , 昆廷美食 :
定点逻辑和可定义拓扑属性。 沃尔利克 2022 : 36-52 [电子3] 大卫·费尔南德斯·杜克 , 亚历山德拉·帕尔米吉亚诺 , 苏菲·平奇纳特 :
模态逻辑进展，AiML 2022，法国雷恩，2022年8月22日至25日。 学院出版物 2022 ，国际标准图书编号 978-1-84890-413-2 [目录] [第23条] 大卫·费尔南德斯·杜克 , Yoáv Montacute一案 :
无角度：一个完整的动态拓扑逻辑。 CoRR公司 abs/2204.08374 ( 2022 ) [i22] 胡安·巴勃罗·阿奎莱拉·奥祖纳 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 布雷特·麦克莱恩 :
时间和哥德尔：PSPACE中的模糊时间推理。 CoRR公司 abs/2205.00574 ( 2022 ) 【i21】 胡安·巴勃罗·阿奎莱拉·奥祖纳 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 布雷特·麦克莱恩 :
线性时间逻辑的哥德尔演算。 CoRR公司 abs/2205.05182 ( 2022 ) 2021 [公元38年] 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 瓦什纳维·桑达拉扬 , S.P.苏雷什 :
谁持有最好的卡片？ 最佳秘密比特的安全通信。 澳大利亚。 J库姆。 80 : 1-29 ( 2021 ) [公元37年] 菲利普·巴尔比亚尼 , 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
直觉时间逻辑的双模拟。 拍打 8 ( 8 ) : 2265-2286 ( 2021 ) [公元36年] 阿娜·德·阿尔梅达·博尔赫斯 , 胡安·何塞·科内杰罗·罗德里格斯 , 大卫·费尔南德斯·杜克 , 米雷亚·冈萨雷斯-贝德玛 , 乔斯特·J·乔斯顿 :
开车还是不开车：对欧洲交通法规的逻辑和计算分析。 Inf.计算。 280 : 104636 ( 2021 ) [j35] 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 菲利普·克莱默 :
探索直觉主义时间逻辑的丛林。 理论与实践。 日志。 程序。 21 ( 4 ) : 459-492 ( 2021 ) 【c23】 菲利普·巴尔比亚尼 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
具有有限模型特性的S4的一些构造变体。 低收入国家 2021 : 1-13 [公元22年] 亚历山德鲁·巴尔塔格 , 尼克·贝扎尼什维利 , 大卫·费尔南德斯·杜克 :
拓扑微积分：完备性和可判定性。 低收入国家 2021 : 1-13 [电子2] Liesbeth De Mol公司 , 安德烈亚斯·魏尔曼 , 弗洛林·马内亚 , 大卫·费尔南德斯·杜克 :
连接可计算性——第17届欧洲可计算性会议，CiE 2021，虚拟事件，根特，2021年7月5日至9日，会议记录。 计算机科学课堂讲稿 12813, 施普林格 2021 ，国际标准图书编号 978-3-030-80048-2 [目录] [i20] 菲利普·巴尔比亚尼 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
具有有限模型特性的S4的一些构造变体。 CoRR公司 abs/2104.15053 ( 2021 ) [i19] 亚历山德鲁·巴尔塔格 , 尼克·贝扎尼什维利 , 大卫·费尔南德斯·杜克 :
拓扑微积分：完备性和可判定性。 CoRR公司 abs/2105.08231 ( 2021 ) [i18] 大卫·费尔南德斯·杜克 , Yoáv Montacute一案 :
动态康托导数逻辑。 CoRR公司 abs/2107.10349 ( 2021 ) 2020 [公元34年] 菲利普·巴尔比亚尼 , 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
直觉主义线性时间逻辑。 ACM事务处理。 计算。 日志。 21 ( 2 ) : 14:1-14:32 ( 2020 ) 【c21】 大卫·费尔南德斯·杜克 , 安德烈亚斯·魏尔曼 :
Ackermannian Goodstein中间生长序列。 CiE公司 2020 : 163-174
2010 – 2019
2019 [公元33年] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 埃米利亚诺·洛里尼 :
资源型主体认知态度的动态。 Stud Logica公司 107 ( 三 ) : 457-488 ( 2019 ) [公元20年] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 安德烈亚斯·赫齐格 , 埃米利亚诺·洛里尼 :
分层证据逻辑。 国际JCAI 2019 : 1523-1529 [第19条] 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 法比安·罗梅罗 :
直觉时间逻辑的公理系统和拓扑语义。 杰莉亚 2019 : 763-777 [第18条] 阿娜·德·阿尔梅达·博尔赫斯 , 胡安·何塞·科内杰罗·罗德里格斯 , 大卫·费尔南德斯·杜克 , 米雷亚·冈萨雷斯-贝德玛 , 乔斯特·J·乔斯顿 :
二级交通罚款：欧洲运输法规中的时间推理。 时间 2019 : 6:1-6:16 [第17条] 大卫·费尔南德斯·杜克 , 爱德华多·赫莫·雷耶斯 :
Γ的一个自包含可证明性演算 0 . 沃尔利克 2019 : 195-207 [i17] 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
拓扑动力学中的完全直觉时间逻辑。 CoRR公司 abs/1910.00907 ( 2019 ) [i16] 菲利普·巴尔比亚尼 , 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
直觉主义线性时间逻辑。 CoRR公司 abs/1912.12893 ( 2019 ) 【i15】 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 菲利普·克莱默 :
探索直觉主义时间逻辑的丛林。 CoRR公司 abs/1912.12895 ( 2019 ) 2018 [公元32年] 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
超限可证明逻辑的omega规则解释。 Ann.纯粹应用。 日志。 169 ( 4 ) : 333-371 ( 2018 ) [公元31年] 大卫·费尔南德斯·杜克 , 彼得·伊利耶夫 :
空间微积分子系统的简洁性。 拍打 5 ( 4 ) : 827-874 ( 2018 ) 【j30】 大卫·费尔南德斯·杜克 :
动力系统的直觉时间逻辑。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [第16条] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 安德烈亚斯·赫齐格 , 彼得·伊利耶夫 :
框架验证游戏和模态公理的绝对极小性。 模态逻辑的进展 2018 : 83-102 [第15条] 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
“最终”的直觉公理化。 模态逻辑的进展 2018 : 199-218 [第14条] 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 , 法比安·罗梅罗 :
直觉时态逻辑的公理系统和拓扑语义。 CoRR公司 abs/1803.05077 ( 2018 ) [i13] 菲利普·巴尔比亚尼 , 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
直觉主义时序逻辑的互模拟。 CoRR公司 abs/1803.05078 ( 2018 ) [i12] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 安德烈亚斯·赫齐格 , 彼得·伊利耶夫 :
框架有效性对策和模态公理复杂性的下限。 CoRR公司 abs/1808.05051 ( 2018 ) 2017 【b1】 大卫·费尔南德斯·杜克 :
逻辑动力学。 法国图卢兹保罗·萨巴蒂尔大学， 2017 [公元29年] 埃斯特班·兰德雷切 , 大卫·费尔南德斯·杜克 :
无条件安全通信的近乎完美安全案例研究。 设计。 密码。 83 ( 1 ) : 145-168 ( 2017 ) [公元28年] 大卫·费尔南德斯·杜克 :
蠕虫和蜘蛛：反射演算和顺序符号系统。 拍打 4 ( 10 ) : 3277-3356 ( 2017 ) [公元27年] 胡安·阿奎莱拉 , 大卫·费尔南德斯·杜克 :
序空间可证明逻辑的强完备性。 J.塞姆。 日志。 82 ( 2 ) : 608-628 ( 2017 ) [公元26年] 安德烈斯·科尔多恩·佛朗哥 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
通过超有限反射的预测性。 J.塞姆。 日志。 82 ( 三 ) : 787-808 ( 2017 ) [公元25年] 胡安·巴勃罗·阿奎莱拉·奥祖纳 , 大卫·费尔南德斯·杜克 :
验证逻辑。 J.日志。 计算。 27 ( 8 ) : 2451-2469 ( 2017 ) [第14条] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 埃米利亚诺·洛里尼 :
探索二维空间：动态逻辑观点。 美国原子能机构 2017 : 132-140 [第13条] 约瑟夫·布杜 , 马丁·迪盖兹 , 大卫·费尔南德斯·杜克 :
一个可判定的直觉时间逻辑。 CSL公司 2017 : 14:1-14:17 [i11] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 埃米利亚诺·洛里尼 :
探索二维空间：动态逻辑观点。 CoRR公司 abs/1702.01601 ( 2017 ) 2016 [公元24年] 大卫·费尔南德斯·杜克 , 瓦伦丁·戈兰科 :
分布式信息的安全聚合：一组代理如何在间谍面前安全地共享机密。 谨慎。 申请。 数学。 198 : 118-135 ( 2016 ) [公元23年] 大卫·费尔南德斯·杜克 :
通过转移投影实现完美的数据聚合安全。 信息科学。 354 : 153-164 ( 2016 ) [第12条] 胡安·阿奎莱拉 , 大卫·费尔南德斯·杜克 :
验证逻辑：对消极内省的算术解释。 模态逻辑的进展 2016 : 1-20 [第11条] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 :
将模态逻辑与线性时态逻辑的词典乘积公理化。 模态逻辑的进展 2016 : 78-96 [第10条] 菲利普·巴尔比亚尼 , 大卫·费尔南德斯·杜克 , 埃米利亚诺·洛里尼 :
基于资源的Agent的信念动力学逻辑理论。 美国原子能机构 2016 : 644-652 2015 [公元22年] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒尔·托斯卡诺 :
卡片加密的几何协议。 设计。 密码。 74 ( 1 ) : 113-125 ( 2015 ) [公元21年] 大卫·费尔南德斯·杜克 , 安吉尔·内波穆塞诺·费尔南德斯 , 恩里克·萨里翁·莫里罗 , 费尔南多·索勒·托斯卡诺 , 费尔南多·维拉兹奎兹·奎萨达 :
忘记复杂的命题。 日志。 J.IGPL公司 23 ( 6 ) : 942-965 ( 2015 ) [i10] 大卫·费尔南德斯·杜克 :
用于安全聚合分布式信息的完全卡片安全协议。 CoRR公司 abs/1505.02824 ( 2015 ) [第九章] 埃斯特班·兰德雷切 , 大卫·费尔南德斯·杜克 :
无条件安全通信的近乎完美安全案例研究。 CoRR公司 abs/1506.04188 ( 2015 ) [i8] 大卫·费尔南德斯·杜克 , 安格尔·内波穆塞诺·费尔南德斯 , 恩里克·萨里翁·莫里罗 , 费尔南多·索勒尔·托斯卡诺 , 费尔南多·维拉兹奎兹·奎萨达 :
忘记复杂的命题。 CoRR公司 腹肌/1507.01111 ( 2015 ) 2014 [公元20年] 大卫·费尔南德斯·杜克 :
超限可证逻辑的多极性。 架构（architecture）。 数学。 日志。 53 ( 3-4 ) : 385-431 ( 2014 ) [j19] 本瑟姆 , 大卫·费尔南德斯·杜克 , 埃里克·帕奎特 :
邻里结构中的证据和合理性。 Ann.纯粹应用。 日志。 165 ( 1 ) : 106-133 ( 2014 ) [公元18年] 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
超限Japarize代数中的Well阶。 日志。 J.IGPL公司 22 ( 6 ) : 933-963 ( 2014 ) [公元17年] 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 威比·范德霍克 :
论认知逻辑中模拟和互模拟的可定义性。 J.日志。 计算。 24 ( 6 ) : 1209-1227 ( 2014 ) [公元16年] 列夫·D·别克拉米舍夫 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
关于线性有序模态的Provability Logics。 Stud Logica公司 102 ( 三 ) : 541-566 ( 2014 ) [公元15年] 大卫·费尔南德斯·杜克 :
动态拓扑逻辑的非有限公理化。 ACM事务处理。 计算。 日志。 15 ( 1 ) : 4:1-4:18 ( 2014 ) [i7] 大卫·费尔南德斯·杜克 , 瓦伦丁·戈兰科 :
分布式信息的安全聚合。 CoRR公司 腹肌/1407.7582 ( 2014 ) 2013 [公元14年] 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
双曲线、Veblen级数和序数函数的超限迭代。 Ann.纯粹应用。 日志。 164 ( 7-8 ) : 785-801 ( 2013 ) [j13] 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
超限可证明逻辑模型。 J.塞姆。 日志。 78 ( 2 ) : 543-561 ( 2013 ) [公元12年] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒尔·托斯卡诺 :
广义俄罗斯卡片问题的着色协议。 西奥。 计算。 科学。 495 : 81-95 ( 2013 ) [i6] 安德烈斯·科登·弗朗哥 , 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒尔·托斯卡诺 :
卡片加密的几何协议。 CoRR公司 abs/1301.4289 ( 2013 ) [i5] 本瑟姆 , 大卫·费尔南德斯·杜克 , 埃里克·帕奎特 :
邻里结构中的证据和合理性。 CoRR公司 abs/1307.1277 ( 2013 ) 2012 [公元11年] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费尔南多·索勒尔·托斯卡诺 :
用于纸牌播放器的安全附加协议。 澳大利亚。 J库姆。 54 : 163-176 ( 2012 ) [公元10年] 大卫·费尔南德斯·杜克 :
拓扑动力学的缠结模态逻辑。 Ann.纯粹应用。 日志。 163 ( 4 ) : 467-481 ( 2012 ) [j9] 安格尔·内波穆塞诺·费尔南德斯 , 弗朗西斯科·萨尔格罗·拉米拉尔 , 大卫·费尔南德斯·杜克 :
结构外展表。 日志。 J.IGPL公司 20 ( 2 ) : 388-399 ( 2012 ) [j8] 费尔南多·索勒尔·托斯卡诺 , 大卫·费尔南德斯·杜克 , 安吉尔·内波穆塞诺·费尔南德斯 :
用于建模溯源推理的模式框架。 日志。 J.IGPL公司 20 ( 2 ) : 438-444 ( 2012 ) [j7] 大卫·费尔南德斯·杜克 :
度量空间的动态拓扑逻辑。 J.塞姆。 日志。 77 ( 1 ) : 308-328 ( 2012 ) [j6] 大卫·费尔南德斯·杜克 :
一个完善的动态拓扑逻辑公理化。 J.塞姆。 日志。 77 ( 三 ) : 947-969 ( 2012 ) 【c9】 本瑟姆 , 大卫·费尔南德斯·杜克 , 埃里克·帕奎特 :
证据逻辑：邻里结构的新视角。 模态逻辑的进展 2012 : 97-118 【c8】 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
超越有限可证明逻辑的克里普克模型。 模态逻辑的进展 2012 : 185-199 【c7】 大卫·费尔南德斯·杜克 :
动态拓扑逻辑的非有限公理化。 模态逻辑的进展 2012 : 200-216 【c6】 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
图灵级数及其井序。 CiE公司 2012 : 212-221 [i4] 大卫·费尔南德斯·杜克 :
一个完善的动态拓扑逻辑公理化。 CoRR公司 abs/1201.5162 ( 2012 ) [i3] 大卫·费尔南德斯·杜克 :
动态拓扑逻辑的非有限公理化。 CoRR公司 abs/1207.5140 ( 2012 ) [i2] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 费尔南多·索勒·托斯卡诺 :
广义俄罗斯卡片问题的着色协议。 CoRR公司 abs/1207.5216 ( 2012 ) 2011 [j5] 大卫·费尔南德斯·杜克 :
极小系统上的动态拓扑逻辑。 J.菲洛斯。 日志。 40 ( 6 ) : 767-804 ( 2011 ) 【j4】 大卫·费尔南德斯·杜克 :
有限传递模型对可模拟性的模态定义。 Stud Logica公司 98 ( 三 ) : 347-373 ( 2011 ) 【c5】 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 威比·范德霍克 :
有限认识模型对相似性和双相似性的定义。 CLIMA公司 2011 : 74-87 【c4】 迈克尔·H·阿尔伯特 , 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费尔南多·索勒尔·托斯卡诺 :
解释系统中本地州的安全通信。 DCAI公司 2011 : 117-124 【c3】 大卫·费尔南德斯·杜克 :
空间推理的模糊模态逻辑。 国际JCAI 2011 : 857-862 【c2】 汉斯·范·迪特马尔施 , 大卫·费尔南德斯·杜克 , 瓦伦丁·戈兰科 , 沃伊特克·贾姆罗加 , 曼纽尔·奥杰达·阿西戈 :
前言。 M4M/LAMAS公司 2011 : 1-2 [电子1] 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 瓦伦丁·戈兰科 , 沃伊切赫·詹罗加 , 曼纽尔·奥杰达·阿西戈 :
2011年M4M第七届模态方法研讨会论文集和2011年LAMAS第四届多智能体系统逻辑方面研讨会论文集，西班牙奥苏纳，2011年11月10日至12日。 理论计算机科学电子笔记 278, 爱思维尔 2011 [目录] [i1] 安德烈斯·科尔多恩·佛朗哥 , 汉斯·范·迪特马什 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费尔南多·索勒尔·托斯卡诺 :
一种用于纸牌玩家的安全附加协议。 CoRR公司 abs/1111.0156 ( 2011 ) 2010 【c1】 大卫·费尔南德斯·杜克 :
S4的绝对完整性 u个 其度量理论语义。 模态逻辑的进展 2010 : 100-119
2000 – 2009
2009 [j3] 大卫·费尔南德斯·杜克 :
动态拓扑逻辑的非确定性语义。 Ann.纯粹应用。 日志。 157 ( 2-3 ) : 110-121 ( 2009 ) 2007 [注2] 大卫·费尔南德斯·杜克 :
R的动态拓扑完备性 2 . 日志。 J.IGPL公司 15 ( 1 ) : 77-107 ( 2007 ) 2006 [j1] 大卫·费尔南德斯·杜克 :
S4到直觉逻辑的多项式转换。 J.塞姆。 日志。 71 ( 三 ) : 989-1001 ( 2006 )
合著者索引
