编辑配置文件(在新选项卡中打开) Kuijer、Louwe Bouke 合著者距离 作者ID: 奎杰尔·卢韦布克 发布日期: Louwe B.Kuijer。;Kuijer、Louwe Bouke 编入索引的文档: 24出版物自2012年起 合著者: 16位合著者具有18联合出版物 414合著作者 全部的 前5名合著者 6 单作者的 11 汉斯·皮特·范·迪特马什 10 范德霍克,威比 三 刘、莫 2 马尔文·加廷格 2 巴特尔·皮特·库伊 2 伊戈尔·塞德拉尔 1 菲利普·巴尔比亚尼 1 弗朗西斯科·贝拉迪内利 1 范洁 1 玛丽·何塞·福廷 1 鲁斯塔姆·加利穆林 1 大卫·格罗西 1 艾奥尼斯·科基尼 1 佩雷·帕尔多 1 帕特里克·托茨克 1 马丁·齐默尔曼 全部的 前5名系列 4 人工智能 2 逻辑与计算杂志 1 理论计算机科学 1 信息与计算 1 逻辑、语言与信息杂志 1 逻辑与逻辑哲学 1 符号逻辑述评 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 19 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用55中的次37文件 引用人▼ 年份▼ 任意箭头更新逻辑。 Zbl 1392.68396号 汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 8 2017 完全任意的公告。 Zbl 1400.03032号 汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 7 2016 流言蜚语的逻辑。 Zbl 1493.68346号 汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 6 2020 任意箭头更新逻辑的不可判定性。 Zbl 1385.03012号 汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 5 2017 具有常识的任意箭头更新逻辑既不是RE也不是co-RE。 Zbl 1483.03010号 Louwe B.Kuijer。 5 2017 箭头更新合成。 Zbl 1496.68326号 汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 5 2020 二阶命题模态逻辑:表达性和完备性结果。 Zbl 1436.03128号 弗朗西斯科·贝拉迪内利;范德霍克,威比;Louwe B.Kuijer。 4 2018 任意公告有多武断? Zbl 1417.03139号 Kuijer、Louwe Bouke 三 2014 利用协议相关知识加强八卦协议。 Zbl 1524.68387号 汉斯·范·迪特马什;马尔文·加廷格;Louwe B.Kuijer。;佩雷·帕尔多 三 2019 HyperLTL可满足性是(\Sigma_1^1)-完成的,HyperCTL(^*)可满足性则是(\Sigma_1 ^2)-完成。 Zbl 07724220号 玛丽·福廷;Louwe B.Kuijer。;帕特里克·托茨克;马丁·齐默尔曼 2 2021 更新逻辑的表达能力。 Zbl 1331.68217号 Louwe B.Kuijer。 2 2015 无自反性的非确定性命题逻辑的序列系统。 Zbl 1407.03044号 Louwe B.Kuijer。 2 2013 动态认知逻辑中事实变化的表现性。 Zbl 1329.03050号 Louwe B.Kuijer。 1 2014 谁应该是我的朋友?博弈论视角下的社会平衡。 兹伯利07160623 范德霍克,威比;Louwe B.Kuijer。;Wáng,YN。 1 2019 APAL某些版本的表达能力。 Zbl 07437019号 汉斯·范·迪特马什;刘、莫;Louwe B.Kuijer。;伊戈尔·塞德拉尔 1 2020 HyperLTL可满足性是(\Sigma_1^1)-完成的,HyperCTL(^*)可满足性则是(\Sigma_1 ^2)-完成。 Zbl 07724220号 玛丽·福廷;Louwe B.Kuijer。;帕特里克·托茨克;马丁·齐默尔曼 2 2021 流言蜚语的逻辑。 Zbl 1493.68346号 汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 6 2020 箭头更新合成。 Zbl 1496.68326号 汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 5 2020 APAL某些版本的表达能力。 Zbl 07437019号 汉斯·范·迪特马什;刘、莫;Louwe B.Kuijer。;伊戈尔·塞德拉尔 1 2020 利用协议相关知识加强八卦协议。 Zbl 1524.68387号 汉斯·范·迪特马什;马尔文·加廷格;Louwe B.Kuijer。;佩雷·帕尔多 三 2019 谁应该是我的朋友?博弈论视角下的社会平衡。 兹伯利07160623 范德霍克,威比;Louwe B.Kuijer。;Wáng,YN。 1 2019 二阶命题模态逻辑:表达性和完备性结果。 Zbl 1436.03128号 弗朗西斯科·贝拉迪内利;范德霍克,威比;Louwe B.Kuijer。 4 2018 任意箭头更新逻辑。 Zbl 1392.68396号 汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 8 2017 任意箭头更新逻辑的不可判定性。 Zbl 1385.03012号 汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 5 2017 具有常识的任意箭头更新逻辑既不是RE也不是co-RE。 Zbl 1483.03010号 Louwe B.Kuijer。 5 2017 完全任意的公告。 Zbl 1400.03032号 汉斯·范·迪特马什;范德霍克,威比;Louwe B.Kuijer。 7 2016 更新逻辑的表达能力。 Zbl 1331.68217号 Louwe B.Kuijer。 2 2015 任意公告有多武断? Zbl 1417.03139号 Kuijer、Louwe Bouke 三 2014 动态认知逻辑中事实变化的表现性。 Zbl 1329.03050号 Louwe B.Kuijer。 1 2014 无自反性的非确定性命题逻辑的序列系统。 Zbl 1407.03044号 Louwe B.Kuijer。 2 2013 所有引用出版物 前5名被引用出版物 全部的 前5名58位作者引用 13 汉斯·皮特·范·迪特马什 7 Kuijer、Louwe Bouke 5 范德霍克,威比 4 马尔文·加廷格 三 鲁斯塔姆·加利穆林 2 托马斯·奥戈特内斯 2 阿曼多·卡斯塔涅达 2 伯恩德·芬克贝纳 2 法语,蒂姆 2 巴特尔·皮特·库伊 2 约瑟夫·利弗西 2 拉希姆·拉梅扎尼安 2 Rasmus Krmmer Rendsvig 2 David A.Rosenblueth。 2 Diego A.Velázquez。 2 多米尼克·沃伊特扎克 1 安德烈亚斯·阿琴 1 娜塔莎·亚历奇纳 1 卡洛斯·阿雷塞斯 1 菲利普·巴尔比亚尼 1 亚历山大·巴尔塔格 1 巴托什·贝德纳尔奇克 1 弗朗西斯科·贝拉迪内利 1 瓦夏克·贝勒 1 乌鸦·贝特纳 1 帕特里克·布莱克本 1 托马斯·博兰德 1 托本·布吕纳 1 科宁,诺琳 1 雷蒙·达赫塞特 1 斯特凡·德姆里。 1 丁一峰 1 劳尔·费尔瓦里 1 哈达尔·弗兰克尔 1 埃里克·古堡 1 克里斯托弗·哈恩 1 詹姆斯·黑尔斯 1 Joseph Yehuda Halpern 1 鸠山由纪夫 1 安德烈亚斯·赫齐格 1 汤姆·霍拉克 1 威廉·凯茨 1 朱莉·伦德巴克·科福德 1 玛丽亚娜·拉齐奇 1 杰雷米·莱登特 1 安德烈斯·奥奇芬蒂·利伯曼 1 巴斯蒂安·莫伯特 1 Niklas O.Metzger。 1 伯恩哈德·内贝尔 1 艾比克·厄兹根 1 塞尔吉奥·拉杰斯鲍姆 1 拉苏尔·拉梅扎尼安 1 胜彦三野 1 弗朗索瓦州施瓦岑特鲁伯 1 Gennady Shtakser公司 1 朱利安·西伯 1 安娜·露西亚·巴尔加斯·桑多瓦尔 1 王,燕京 全部的 前5名11篇连载文章中引用 5 人工智能 4 逻辑、语言与信息杂志 三 哲学逻辑杂志 三 Studia Logica公司 三 计算机科学中的逻辑方法 2 信息与计算 2 应用非经典逻辑杂志 1 合成 1 理论计算机科学 1 应用逻辑杂志 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 30 数学逻辑和基础(03-XX) 19 计算机科学(68至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 流形和细胞复合体(57至XX) 按年份列出的引文