编辑配置文件(在新选项卡中打开) van Benthem,Johan F.A.K。 合著者距离 作者ID: van-benthem.johan先生 发布方式: 约翰·范·本特姆;范·本特姆,J.F.A.K。;范·本特姆,J.F.A.K。;范·本特姆(J.van Benthem)。;约翰·范·本特姆;约翰·范·本特姆 更多。。。较少的 主页: https://staff.fnwi.uva.nl/j.vanbenthem网站/ 外部链接: MGP公司·ORCID公司·维基数据·数据库许可证·接地·ID参考·论文.fr 集体成员: L.T.F.色域 已编制索引的文档: 217出版物自1973年以来,包括11本书和3个附加arXiv预打印 23作为编辑的贡献·3进一步捐款 审查活动: 1回顾 传记参考: 2出版物 合著者: 88位合著者具有99联合出版物 1520名合作作者 全部的 前5名合著者 143 单作者的 11 埃里克·帕奎特 9 尼克·贝扎尼什维利 6 刘芬荣 5 哈伊纳尔·安德雷卡 5 Doets和Kees 5 塞巴斯蒂安·恩奎斯特 5 伊斯坦·内梅蒂 4 马可·艾略 4 阿弥陀佛笈多 4 范·艾伊克(Jan van Eijck) 三 亚历山大·巴尔塔格 三 古拉姆·贝扎尼什维利 三 Dov M.加巴伊。 三 大卫·格罗西 三 米尼科伊,ö特凡 三 十个Cate,Balder David 三 亨克·维瑟 2 托马斯·奥戈特内斯 2 纪尧姆拍卖行 2 沃伊切赫·巴斯科夫斯基 2 乔瓦娜·达戈斯蒂诺 2 Dalla Chiara,玛丽亚·路易莎 2 Fernández Duque,大卫 2 马尔文·加廷格 2 杰勒·格布兰迪 2 苏加塔·戈什 2 弗朗茨·Günthner 2 格哈德·海因兹曼 2 巴特尔·皮特·库伊 2 Löwe,Benedikt公司 2 安吉洛·蒙塔纳里 2 丹尼尔·蒙迪奇 2 阿尔贝托,Policriti 2 曼努埃尔·雷布西 2 罗伊,奥利维尔 2 达科·萨雷纳克 2 苏凯乐 2 爱丽丝·G·B·特默伦。 2 达格·韦斯特斯特尔 1 娜塔莎·亚历奇纳 1 奥奎斯特,伦纳德 1 丹尼尔·巴盖利 1 Barker-Plummer,戴夫 1 迈克尔·巴尔 1 肯尼思·乔恩·巴韦斯 1 大卫·海狸。 1 Jan A.Bergstra。 1 帕特里克·布莱克本 1 威廉·约翰内斯·布洛克 1 亨利克·博恩斯万格 1 粗体,Stefan 1 丹尼斯·邦尼 1 罗伯特·A·布尔。 1 约翰·伯吉斯。 1 克劳迪娅·卡萨迪奥 1 科奇亚雷拉,尼诺·B。 1 菲利普·德格罗特 1 迪克·乔恩。 1 马尔滕·德·里杰克 1 塞德里克·德格雷蒙特 1 帕特里克·斯科托·迪卢西奥 1 马里奥·法达 1 延斯·埃里克·芬斯塔德 1 詹姆斯·加森(James W.Garson)。 1 麦哲尔克 1 Amélie Gheerbrant 1 布伦丹·S·吉隆。 1 帕特里克·R·吉拉德。 1 珀·克里斯蒂安·哈尔沃森 1 大卫·哈拉 1 A.Hazen。 1 威尔弗里德·霍奇斯 1 伊恩·马丁·霍德金森 1 卫斯理·H·霍利迪。 1 丰弘Hoshi 1 汉伯斯通。 1 托马斯·伊卡德(Thomas F.III) 1 Ikegami、Daisuke 1 Ju,Shier先生 1 马西耶·坎杜尔斯基 1 爱德华·基南。 1 拉乌尔·库迪杰斯 1 西奥·A·F·柯伊伯。 1 约阿希姆·兰贝克 1 保守党Langholm 1 胡格斯·勒布朗 1 阿兰·勒科姆 1 李大竹 1 维托尔德·马西泽夫斯基 1 阿利塞特·穆伦 1 米尔泽夫斯基(Mierzewski,Krzysztof) 1 迈克尔·穆尔特加特 1 格林·莫里尔(Glyn V.Morrill)。 1 螺母,D。 1 布赖恩丹·奥斯·努拉因 1 理查德·欧尔(Richard T.Oehrle)。 1 罗希特·帕里赫 1 马蒂·彭特斯 1 伊恩·普拉特·哈特曼 1 苏拉夫·Räsch ……还有21位合著者 全部的 前5名系列 19 Studia Logica公司 13 哲学逻辑杂志 9 合成 8 逻辑与计算杂志 8 合成库 7 符号逻辑杂志 7 逻辑、语言与信息杂志 6 应用非经典逻辑杂志 4 圣母院形式逻辑期刊 4 西奥里亚 4 IGPL逻辑杂志 4 逻辑研究(伦敦) 三 逻辑与分析。Nouvelle Série公司 三 CSLI课堂讲稿 2 语言学与哲学 2 理论语言学 2 波兰数学年鉴。系列IV 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 尼乌档案馆(Nieuw Archief voor Wiskunde)。德德系列 2 国际博弈论综述 2 尼乌档案馆(Nieuw Archief voor Wiskunde)。Vijfde系列 2 格罗宁根语义学研究(GRASS) 2 语言学和哲学研究 2 逻辑、认识论与科学的统一 2 符号逻辑述评 1 人工智能 1 代数普遍性 1 数学基础 1 《数学研究所出版物》。Nouvelle Série公司 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 Indagationes Mathematicae公司。新系列 1 符号逻辑公报 1 IGPL期刊 1 计算机基础理论 1 分析 1 澳大利亚逻辑杂志 1 逻辑科公报 1 指数。哲学逻辑和形式语言学专著 1 计算机科学课堂讲稿 1 逻辑与数学基础研究 1 逻辑与实践推理研究 1 计算中的文本 1 泛逻辑 1 计算机科学中的逻辑方法 1 经济研究简报 1 逻辑和游戏中的文本 1 游戏 1 斯普林格哲学研究生课程 全部的 前5名领域 237 数学逻辑和基础(03-XX) 58 计算机科学(68至XX) 26 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 23 一般性和全局性主题;集合(00-XX) 10 历史与传记(01-XX) 2 一般拓扑结构(54至XX) 2 运筹学、数学规划(90-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 几何形状(51至XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 188出版物有被引用3011中的次1770文件 引用人▼ 年份▼ 模态逻辑手册。 Zbl 1114.03001号 203 2007 信念修正的动态逻辑。 Zbl 1186.03033号 约翰·范·本特姆 140 2007 模态语言和谓词逻辑的有界片段。 Zbl 0919.03013号 哈伊纳尔·安德雷卡;伊斯坦·内梅蒂;约翰·范·本特姆 134 1998 沟通和变革的逻辑。 2012年3月11日 约翰·范·本特姆;范·艾伊克(Jan van Eijck);Kooi,Barteld(巴特尔·库伊) 132 2006 信息和互动的逻辑动力学。 Zbl 1251.03003号 约翰·范·本特姆 120 2011 空间逻辑手册。 Zbl 1172.03001号 104 2007 模态逻辑和经典逻辑。 Zbl 0639.03014号 约翰·范·本特姆 91 1985 对应理论。 Zbl 0875.03048号 约翰·范·本特姆 84 1984 偏好升级的动态逻辑。 Zbl 1186.03034号 约翰·范·本特姆;刘芬荣 77 2007 合并用于交互的框架。 Zbl 1185.03019号 约翰·范·本特姆;杰尔·格布兰迪;丰弘Hoshi;埃里克·帕奎特 75 2009 探索逻辑动态。 兹标0873.03001 约翰·范·本特姆 73 1996 行动中的语言。类别、lambdas和动态逻辑。 Zbl 0717.03001号 约翰·范·本特姆 69 1991 逻辑和语言手册。 Zbl 0874.03001号 61 1997 逻辑语义学论文。 Zbl 0619.03021号 约翰·范·本特姆 57 1986 动态认知逻辑中的游戏。 Zbl 1230.03046号 约翰·范·本特姆 57 2001 游戏中的逻辑。 Zbl 1291.03003号 约翰·范·本特姆 55 2014 其他一切都是平等的:其他同等偏好的模态逻辑。 Zbl 1171.03009号 约翰·范·本特姆;帕特里克·吉拉德;罗伊,奥利维尔 48 2009 基于证据的信念的动态逻辑。 Zbl 1241.03013号 范·本特姆(J.van Benthem)。;E.帕奎特。 43 2011 空间推理:模态方法。 Zbl 1054.03015号 马可·艾略;约翰·范·本特姆;古拉姆·贝扎尼什维利 41 2003 时间的逻辑。对时间本体和时间话语多样性的模型理论研究。 兹比尔0508.03008 范本瑟姆,J.F.A.K。 41 1983 时间的逻辑。对时间本体和时间话语多样性的模型理论研究。2.修订版。 Zbl 0758.03012号 约翰·范·本特姆 40 1991 一篇关于破坏和阻挠的文章。 Zbl 1098.68632号 约翰·范·本特姆 34 2005 哲学逻辑手册。第二卷:经典逻辑的扩展。 Zbl 0572.03003号 32 1984 人们可能会知道什么。 Zbl 1073.03004号 约翰·范·本特姆 31 2004 “一是孤独的数字”:逻辑和沟通。 Zbl 1108.03011号 约翰·范·本特姆 31 2006 行动中的语言。 Zbl 0743.03018号 约翰·范·本特姆 30 1991 作为流程模型的广泛游戏。 Zbl 1003.03530号 约翰·范·本特姆 30 2002 对应理论。第2版。 Zbl 1003.03518号 约翰·范·本特姆 29 2001 决定因素和逻辑。 Zbl 0535.03010号 约翰·范·本特姆 28 1983 关于量词的问题。 Zbl 0573.03008号 约翰·范·本特姆 27 1984 行动中的知识树:走向共同的视角。 Zbl 1148.03009号 约翰·范·本特姆;埃里克·帕奎特 26 2006 模态框架对应和定点。 Zbl 1106.03017号 约翰·范·本特姆 24 2006 自然语言和计算中的语义相似性。 Zbl 0694.03022号 约翰·范·本特姆 24 1989 具有概率的动态更新。 Zbl 1183.03015号 约翰·范·本特姆;杰尔·格布兰迪;巴特尔·库伊 22 2009 游戏中的理性动力学和认知逻辑。 Zbl 1138.91354号 约翰·范·本特姆 21 2007 意识的动态。 Zbl 1215.03030号 约翰·范·本特姆;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 20 2010 高阶逻辑。 兹伯利0875.003036 约翰·范·本特姆;Doets,Kees(多伊人、基伊人) 19 1983 拓扑产品的多模态逻辑。 Zbl 1113.03018号 范·本特姆(J.van Benthem)。;G.贝扎尼什维利。;十卡特,B。;D.萨雷纳克。 19 2006 逻辑和推理:事实重要吗? Zbl 1149.03010号 约翰·范·本特姆 18 2008 朝向问题的动态逻辑。 Zbl 1272.03088号 约翰·范·本特姆;米尼科伊,ö特凡 17 2012 邻里结构中的证据和合理性。 Zbl 1345.03045号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 15 2014 范畴语法中多样性的语义。 兹伯利0695.03015 约翰·范·本特姆 15 1988 走向游戏理论:游戏和互动的逻辑视角。 Zbl 1311.91048号 约翰·范·本特姆;埃里克·帕奎特;罗伊,奥利维尔 15 2011 多义量词。 Zbl 0684.03008号 约翰·范·本特姆 14 1989 朝向问题的动态逻辑。 Zbl 1196.03027号 约翰·范·本特姆;米尼科伊,ö特凡 14 2009 两个简单的不完全模态逻辑。 Zbl 0405.03010号 范·本特姆,J.F.A.K。 14 1978 语言和语法。数学语言学和自然语言研究。 Zbl 1137.03300号 14 2005 重新审视破坏的模态逻辑。 Zbl 1444.03041号 纪尧姆拍卖行;约翰·范·本特姆;大卫·格罗西 14 2018 瞬时邻域逻辑。 Zbl 1417.03162号 约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特;于俊华 13 2017 规范模态逻辑和超滤扩展。 Zbl 0405.03011号 范·本特姆,J.F.A.K。 13 1979 在空间中的模式漫步。 兹比尔1185.03060 马可·艾略;约翰·范·本特姆 13 2002 最小谓词、不动点和可定义性。 Zbl 1089.03010号 约翰·范·本特姆 13 2005 过渡系统的逻辑。 Zbl 0827.03019号 约翰·范·本特姆;伯格斯特拉(Jan Bergstra) 12 1995 分类语法。 Zbl 0691.00002号 12 1988 模态逻辑中的欧几里德层次。 Zbl 1034.03020号 约翰·范·本特姆;古拉姆·贝扎尼什维利;麦哲尔克 12 2003 插值、保存和卵石游戏。 Zbl 0930.03040号 乔恩·巴韦斯;约翰·范·本特姆 12 1999 在动态逻辑中模拟同步游戏。 Zbl 1169.03021号 约翰·范·本特姆;苏加塔·戈什;刘芬荣 12 2008 条件概率符合更新逻辑。 Zbl 1031.03045号 约翰·范·本特姆 12 2003 博弈解、认知动力学和不动点逻辑。 Zbl 1214.03014号 约翰·范·本特姆;Amélie Gheerbrant 12 2010 关于认知逻辑的思考。 Zbl 0814.03002号 约翰·范·本特姆 11 1991 插值的许多面。 Zbl 1168.03020号 约翰·范·本特姆 11 2008 逻辑动力学与逻辑多元主义相遇? Zbl 1168.03313号 约翰·范·本特姆 11 2008 不同类型的逻辑常量。 Zbl 0694.03023号 约翰·范·本特姆 11 1989 跨楚空间的信息传输。 Zbl 0963.03055号 约翰·范·本特姆 10 2000 在模态逻辑和经典逻辑之间来回切换。 Zbl 0840.03010号 哈伊纳尔·安德雷卡;约翰·范·本特姆;伊斯特凡·内梅蒂 10 1995 关于模态可定义性的注释。 Zbl 0671.03013号 约翰·范·本特姆 10 1989 证据逻辑:邻域结构的新视角。 Zbl 1291.03027号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 10 2012 直觉逻辑中的信息。 兹比尔1172.03312 约翰·范·本特姆 10 2009 内涵逻辑手册。第二版,修订和扩充。 Zbl 0678.03010号 约翰·范·本特姆 9 1988 改变语义学:机会主义还是勇气? Zbl 1347.03014号 哈伊纳尔·安德雷卡;约翰·范·本特姆;尼克·贝扎尼什维利;伊斯坦·内梅蒂 9 2014 模态微积分的Sahlqvist对应。 Zbl 1404.03021号 约翰·范·本特姆;尼克·贝扎尼什维利;伊恩·霍德金森 9 2012 一些类型的模态完整性。 Zbl 0459.03008号 范·本特姆,J.F.A.K。 9 1980 一阶逻辑片段的Lindström定理。 兹比尔1168.03017 约翰·范·本特姆;10个Cate,Balder;Väänänen,佐科 9 2009 拉姆齐可消除性。 Zbl 0402.03014号 范·本特姆,J.F.A.K。 9 1978 科学的逻辑研究。 Zbl 0486.03007号 约翰·范·本特姆 9 1982 可能性语义学的双峰视角。 Zbl 1444.03077号 约翰·范·本特姆;尼克·贝扎尼什维利;卫斯理·H·霍利迪。 9 2017 经典逻辑中的偏倚性和非单调性。 Zbl 0624.03022号 约翰·范·本特姆 9 1986 函数依赖的简单逻辑。 Zbl 07420139号 亚历山大·巴尔塔格;约翰·范·本特姆 9 2021 一般动力学。 Zbl 0743.03019号 约翰·范·本特姆 8 1991 条件逻辑基础。 Zbl 0544.03011号 约翰·范·本特姆 8 1984 逻辑游戏对于游戏逻辑来说是完整的。 Zbl 1040.03015号 约翰·范·本特姆 8 2003 知识的几何学。 Zbl 1087.03011号 约翰·范·本特姆;达科·萨雷纳克 8 2004 哲学逻辑手册。第一卷:经典逻辑的元素。 Zbl 0538.03001号 8 1983 动态多道性和多道性时间逻辑之间的桥梁。 Zbl 1287.03042号 约翰·范·本特姆;塞德里克·德格雷蒙特 8 2010 一个新的模态Lindström定理。 Zbl 1118.03012号 约翰·范·本特姆 8 2007 谓词逻辑的模态基础。 Zbl 0949.03517号 约翰·范·本特姆 7 1997 模态逻辑作为一种信息理论。 Zbl 0914.03003号 约翰·范·本特姆 7 1996 道义=更好+优先。 Zbl 1250.03042号 约翰·范·本特姆;大卫·格罗西;刘芬荣 7 2010 最小道义逻辑。 Zbl 0408.03016号 范·本特姆,J.F.A.K。 7 1979 及物性遵循达米特的公理。 Zbl 0422.03004号 范·本特姆,J.F.A.K。;布洛克,W.J。 7 1978 游戏中的理性动力学和认知逻辑。 Zbl 1139.91313号 约翰·范·本特姆 7 2007 逻辑和信息流。 Zbl 0831.03011号 约翰·范·本特姆 6 1994 无限逻辑中的模态、互模拟和插值。 Zbl 0923.03048号 约翰·范·本特姆 6 1999 模式键中的McCarthy变量。 Zbl 1216.68278号 约翰·范·本特姆 6 2011 Hallden-通过Kripke框架的粘合实现完整性。 Zbl 0487.03008号 范·本特姆,J.F.A.K。;汉伯斯通。 6 1983 时态逻辑和时间。 Zbl 0536.03008号 约翰·范·本特姆 6 1984 可安全进行互模拟的程序构造。 Zbl 0958.68104号 约翰·范·本特姆 6 1998 模态简化原则。 Zbl 0337.02014号 范·本特姆,J.F.A.K。 6 1976 模态公式要么是初等的,要么不是\(\西格玛\德尔塔\)-初等的。 兹比尔0337.02015 范·本特姆,J.F.A.K。 6 1976 关于模态公式和关系属性的注释。 Zbl 0308.02024号 范·本特姆,J.F.A.K。 6 1975 逐步移除的模态逻辑。 Zbl 1529.03156号 约翰·范·本特姆;米尔泽夫斯基(Mierzewski,Krzysztof);弗朗西丝卡·扎福拉·布兰多 三 2022 函数依赖的简单逻辑。 Zbl 07420139号 亚历山大·巴尔塔格;约翰·范·本特姆 9 2021 逻辑中的隐式和显式立场。 Zbl 1457.03035号 约翰·范·本特姆 4 2019 瞬时邻域语义的命题动态逻辑。 兹比尔07100700 约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特 4 2019 一个新的游戏等价,它的逻辑和代数。 Zbl 1457.03046号 约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特 4 2019 重新审视破坏的模态逻辑。 Zbl 1444.03041号 纪尧姆拍卖行;约翰·范·本特姆;大卫·格罗西 14 2018 动态认知逻辑的符号模型检查–S5及更高版本。 Zbl 1410.68242号 约翰·范·本特姆;范·艾伊克(Jan van Eijck);马尔文·加廷格;苏凯乐 5 2018 施工代理人。 Zbl 1436.03117号 约翰·范·本特姆 2 2018 道义逻辑和不断变化的偏好。 Zbl 1445.03016号 约翰·范·本特姆;刘芬荣 1 2018 瞬时邻域逻辑。 Zbl 1417.03162号 约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特;于俊华 13 2017 可能性语义学的双峰视角。 Zbl 1444.03077号 约翰·范·本特姆;尼克·贝扎尼什维利;卫斯理·H·霍利迪。 9 2017 瞬时邻域模型的命题动态逻辑。 Zbl 1495.03052号 约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特 5 2017 关于一阶谓词逻辑的一种新语义。 Zbl 1417.03118号 哈伊纳尔·安德雷卡;约翰·范·本特姆;伊斯坦·内梅蒂 2 2017 一种新的博弈等价及其模态逻辑。 兹比尔1483.03017 约翰·范·本特姆;尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特 1 2017 谈论知识。 Zbl 1437.03075号 约翰·范·本特姆 1 2017 跟踪信息。 Zbl 1439.03042号 约翰·范·本特姆 2 2016 形式认识论阅读。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。 Zbl 1348.03005号 2 2016 来自旧手稿的故事。 Zbl 1418.03031号 约翰·范·本特姆 1 2016 战略推理模型。逻辑、游戏和社区。 Zbl 1327.91003号 6 2015 破坏模态逻辑:一些模型和证明理论方面。 Zbl 1471.03040号 纪尧姆拍卖行;约翰·范·本特姆;大卫·格罗西 6 2015 振荡、逻辑和动力系统。 Zbl 1406.03048号 约翰·范·本特姆 5 2015 动态认知逻辑的符号模型检验。 Zbl 1410.68241号 约翰·范·本特姆;范·艾伊克(Jan van Eijck);马尔文·加廷格;苏凯乐 5 2015 游戏中的逻辑。 Zbl 1291.03003号 约翰·范·本特姆 55 2014 邻里结构中的证据和合理性。 Zbl 1345.03045号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 15 2014 改变语义学:机会主义还是勇气? Zbl 1347.03014号 哈伊纳尔·安德雷卡;约翰·范·本特姆;尼克·贝扎尼什维利;伊斯坦·内梅蒂 9 2014 信念修正的两个逻辑面。 Zbl 1347.03026号 约翰·范·本特姆 5 2014 连接选择和更改的逻辑。 Zbl 1287.03056号 约翰·范·本特姆;埃里克·帕奎特 三 2014 推理策略。 Zbl 1264.03052号 约翰·范·本特姆 三 2013 朝向问题的动态逻辑。 Zbl 1272.03088号 约翰·范·本特姆;米尼科伊,ö特凡 17 2012 证据逻辑:邻域结构的新视角。 Zbl 1291.03027号 约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 10 2012 模态μ演算的Sahlqvist对应关系。 兹比尔1404.03021 约翰·范·本特姆;尼克·贝扎尼什维利;伊恩·霍德金森 9 2012 重新审视实证理论的逻辑。 Zbl 1275.03076号 约翰·范·本特姆 5 2012 Crs和保护逻辑:富有成效的接触。 Zbl 1284.03155号 约翰·范·本特姆 2 2012 信息和交互的逻辑动态。 Zbl 1251.03003号 约翰·范·本特姆 120 2011 基于证据的信念的动态逻辑。 Zbl 1241.03013号 范·本特姆(J.van Benthem)。;E.帕奎特。 43 2011 走向游戏理论:游戏和互动的逻辑视角。 Zbl 1311.91048号 约翰·范·本特姆;埃里克·帕奎特;罗伊,奥利维尔 15 2011 模式键中的McCarthy变量。 兹比尔1216.68278 约翰·范·本特姆 6 2011 逻辑和语言手册。第2版。 Zbl 1204.03001号 5 2011 问答游戏。 Zbl 1242.91032号 托马斯·奥戈特内斯;约翰·范·本特姆;汉斯·范·迪特马什;米尼科伊,ö特凡 5 2011 逻辑游戏:从工具到交互模型。 Zbl 1319.03046号 约翰·范·本特姆 2 2011 证据的逻辑动力学。 Zbl 1298.68261号 约翰·范·本特姆;埃里克·帕奎特 2 2011 今天的逻辑和哲学。第1卷。 Zbl 1255.03015号 1 2011 意识的动态。 Zbl 1215.03030号 约翰·范·本特姆;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 20 2010 博弈解、认知动力学和不动点逻辑。 Zbl 1214.03014号 约翰·范·本特姆;Amélie Gheerbrant 12 2010 动态多道性和多道性时间逻辑之间的桥梁。 Zbl 1287.03042号 约翰·范·本特姆;塞德里克·德格雷蒙特 8 2010 道义=更好+优先。 兹比尔1250.03042 约翰·范·本特姆;大卫·格罗西;刘芬荣 7 2010 模态谓词逻辑中的框架对应。 Zbl 1244.03077号 约翰·范·本特姆 5 2010 逻辑、数学和一般代理。 Zbl 1261.03059号 约翰·范·本特姆 2 2010 合并用于交互的框架。 Zbl 1185.03019号 约翰·范·本特姆;杰尔·格布兰迪;丰弘Hoshi;埃里克·帕奎特 75 2009 其他一切都是平等的:其他同等偏好的模态逻辑。 Zbl 1171.03009号 约翰·范·本特姆;帕特里克·吉拉德;罗伊,奥利维尔 48 2009 具有概率的动态更新。 Zbl 1183.03015号 约翰·范·本特姆;杰尔·格布兰迪;巴特尔·库伊 22 2009 走向问题的动态逻辑。 Zbl 1196.03027号 约翰·范·本特姆;米尼科伊,ö特凡 14 2009 直觉逻辑中的信息。 Zbl 1172.03312号 约翰·范·本特姆 10 2009 一阶逻辑片段的Lindström定理。 Zbl 1168.03017号 约翰·范·本特姆;10个Cate,Balder;Väänänen,佐科 9 2009 决策、行动和游戏:逻辑视角。 Zbl 1209.03009号 约翰·范·本特姆 三 2009 另类逻辑的时代。今天评估逻辑和数学哲学。第二次打印。 Zbl 1176.03002号 1 2009 逻辑和推理:事实重要吗? Zbl 1149.03010号 约翰·范·本特姆 18 2008 在动态逻辑中模拟同步游戏。 Zbl 1169.03021号 约翰·范·本特姆;苏加塔·戈什;刘芬荣 12 2008 插值的许多面。 Zbl 1168.03020号 约翰·范·本特姆 11 2008 逻辑动力学与逻辑多元主义相遇? Zbl 1168.03313号 约翰·范·本特姆 11 2008 模态定点逻辑和变化模型。 兹比尔1133.03325 约翰·范·本特姆;Ikegami,大辅 5 2008 自然逻辑:20世纪80年代的观点。 Zbl 1268.03005号 约翰·范·本特姆 5 2008 “有意义的游戏”:逻辑、语言和多智能体交互。 Zbl 1377.03018号 约翰·范·本特姆 5 2008 模态逻辑和不变性。 Zbl 1181.03020号 约翰·范·本特姆;丹尼斯·邦内 三 2008 计算是对话。 Zbl 1145.03016号 约翰·范·本特姆 1 2008 男人一定是immer umkehren! Zbl 1229.03022号 约翰·范·本特姆 1 2008 模态逻辑手册。 Zbl 1114.03001号 203 2007 信念修正的动态逻辑。 Zbl 1186.03033号 约翰·范·本特姆 140 2007 空间逻辑手册。 Zbl 1172.03001号 104 2007 偏好升级的动态逻辑。 Zbl 1186.03034号 约翰·范·本特姆;刘芬荣 77 2007 游戏中的理性动力学和认知逻辑。 Zbl 1138.91354号 约翰·范·本特姆 21 2007 一个新的模态Lindström定理。 Zbl 1118.03012号 约翰·范·本特姆 8 2007 游戏中的理性动力学和认识逻辑。 Zbl 1139.91313号 约翰·范·本特姆 7 2007 《思想会议:逻辑、理性和互动研讨会论文集》,北京,2007年。 Zbl 1191.03004号 2 2007 行动中的推理。 Zbl 1224.03004号 约翰·范·本特姆 2 2007 形式科学基础V.无限游戏。第五届会议论文,FotFS V,德国波恩,2004年11月26-29日。 Zbl 1136.03002号 1 2007 沟通和变革的逻辑。 2012年3月11日 约翰·范·本特姆;范·艾伊克(Jan van Eijck);巴特尔·库伊 132 2006 “一是孤独的数字”:逻辑和沟通。 兹伯利1108.03011 约翰·范·本特姆 31 2006 行动中的知识之树:走向共同的视角。 Zbl 1148.03009号 约翰·范·本特姆;埃里克·帕奎特 26 2006 模态框架对应和定点。 Zbl 1106.03017号 约翰·范·本特姆 24 2006 拓扑产品的多模态逻辑。 Zbl 1113.03018号 范·本特姆(J.van Benthem)。;G.贝扎尼什维利。;十卡特,B。;D.萨雷纳克。 19 2006 另类逻辑的时代。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。 Zbl 1110.03002号 1 2006 一篇关于蓄意破坏和阻挠的文章。 Zbl 1098.68632号 约翰·范·本特姆 34 2005 语言和语法。数学语言学和自然语言研究。 Zbl 1137.03300号 14 2005 最小谓词、定点和可定义性。 Zbl 1089.03010号 约翰·范·本特姆 13 2005 保护、边界和广义语义。 Zbl 1080.03003号 约翰·范·本特姆 5 2005 逻辑和游戏中的开放问题。 Zbl 1279.03059号 约翰·范·本特姆 5 2005 人们可能会知道什么。 Zbl 1073.03004号 约翰·范·本特姆 31 2004 知识的几何学。 Zbl 1087.03011号 约翰·范·本特姆;达科·萨雷纳克 8 2004 空间推理:模态方法。 Zbl 1054.03015号 马可·艾略;约翰·范·本特姆;古拉姆·贝扎尼什维利 41 2003 模态逻辑中的欧几里德层次。 Zbl 1034.03020号 约翰·范·本特姆;古拉姆·贝扎尼什维利;麦哲尔克 12 2003 条件概率符合更新逻辑。 Zbl 1031.03045号 约翰·范·本特姆 12 2003 逻辑游戏对于游戏逻辑来说是完整的。 兹比尔1040.03015 约翰·范·本特姆 8 2003 广泛的游戏作为过程模型。 Zbl 1003.03530号 约翰·范·本特姆 30 2002 在空间中的模式漫步。 Zbl 1185.03060号 马可·艾略;约翰·范·本特姆 13 2002 模态逻辑。 Zbl 1064.03013号 约翰·范·本特姆 三 2002 空间中的逻辑模式。模型、仿真和游戏。 Zbl 1087.03505号 马可·艾略;约翰·范·本特姆 2 2002 动态认知逻辑中的游戏。 Zbl 1230.03046号 约翰·范·本特姆 57 2001 对应理论。第2版。 Zbl 1003.03518号 约翰·范·本特姆 29 2001 高阶逻辑。第2版。 Zbl 1003.03513号 约翰·范·本特姆;Doets,Kees(多伊人、基伊人) 6 2001 …还有88个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1600位作者引用 70 van Benthem,Johan F.A.K。 47 汉斯·皮特·范·迪特马什 31 亚历山大·巴尔塔格 31 Smets,Sonja J.L。 25 尼克·贝扎尼什维利 25 王燕京 22 埃米利亚诺·洛里尼 21 卡洛斯·阿雷塞斯 20 古拉姆·贝扎尼什维利 18 埃里克·帕奎特 18 费尔南多·雷蒙多(Fernando Raymundo) 15 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 15 范德霍克,威比 14 托马斯·奥戈特内斯 14 伊莎贝尔·布洛赫 14 瓦伦丁·F·戈兰科。 14 安德烈亚斯·赫齐格 14 马明辉 13 巴特尔·皮特·库伊 13 十个Cate,Balder David 12 斯特凡·德姆里。 12 Dov M.加巴伊。 12 伊恩·马丁·霍德金森 12 艾比克·厄兹根 12 维尼马,伊德 12 弗兰克·沃尔特 11 哈伊纳尔·安德雷卡 11 菲利普·巴尔比亚尼 11 沃伊切赫·巴斯科夫斯基 11 劳尔·费尔瓦里 11 苏加塔·戈什 11 尼娜·吉拉西姆祖克 11 伊斯坦·内梅蒂 10 帕特里克·布莱克本 10 威廉·康雷迪 10 刘芬荣 10 马尔滕·马克思 10 马丁·奥托 10 胜彦三野 10 韦布鲁克(Rineke Verbrugge) 9 伊沃·杜恩施 9 劳埃德·亨伯斯通 9 亚历山德拉·帕尔米吉亚诺 9 马蒂·彭特斯 9 拉马努贾姆,R。 9 罗伊,奥利维尔 9 弗朗索瓦州施瓦岑特鲁伯 9 圭多·西亚维科 9 迪米特·瓦卡雷洛夫 9 范·艾伊克(Jan van Eijck) 9 达格·韦斯特斯特尔 9 迈克尔·J·伍尔德里奇。 8 纪尧姆拍卖行 8 吉列尔莫·巴迪亚 8 贝内维特斯,马里奥·R·F·。 8 范洁 8 大卫·加伯里亚 8 乔治·戈特洛布 8 大卫·格罗西 8 伯恩哈德·海尼曼 8 帕维尔·G·瑙莫夫。 8 阮琳安 8 或者艾瓦·奥斯卡。 8 Rasmus Krmmer Rendsvig 8 Jakub Szymanik,雅库布 8 海因里希·西奥多 8 迈克尔·维克托洛维奇(Michael Viktorovich) 7 娜塔莎·亚历奇纳 7 马尔滕·德·里杰克 7 塞巴斯蒂安·恩奎斯特 7 大卫·费尔南德斯·杜克 7 帕特里克·R·吉拉德。 7 丰弘Hoshi 7 托马斯·伊卡德(Thomas F.III) 7 Kuijer、Louwe Bouke 7 卢塞罗·布莱恩,乔尔·格雷戈里 7 安德烈亚斯·皮耶利斯 7 约书亚·萨克 7 杰里米·塞利格曼。 7 斯扎·阿斯、安德烈吉 6 亚当·比约恩达尔 6 托马斯·博兰德 6 贾科莫·博纳诺 6 Ivano A.Ciardelli。 6 洛伦兹·德米 6 安妮·福雷特 6 罗伯特·伊恩·戈德布拉特 6 埃里希·格拉德尔 6 卫斯理·H·霍利迪。 6 伊曼纽尔·基伦斯基 6 菲利普·克莱默 6 塔德乌兹·利塔克 6 玛丽亚·曼扎诺 6 安吉洛·蒙塔纳里 6 劳伦斯·莫斯。 6 卡洛·普罗埃蒂 6 布莱恩·雷恩 6 加布里埃尔·桑德 6 艾哈迈德、塔雷克说 6 伊戈尔·塞德拉尔 …还有1500多名作者 全部的 前5名125篇连载文章中引用 137 Studia Logica公司 115 哲学逻辑杂志 113 合成 99 逻辑、语言与信息杂志 71 纯逻辑与应用逻辑年鉴 62 人工智能 61 应用非经典逻辑杂志 56 符号逻辑述评 55 符号逻辑杂志 51 理论计算机科学 36 应用逻辑杂志 32 信息与计算 27 圣母院形式逻辑期刊 24 程序设计中的逻辑和代数方法杂志 22 国际近似推理杂志 22 数学与人工智能年鉴 21 计算机科学中的逻辑方法 17 逻辑与逻辑哲学 16 泛逻辑 14 ACM计算逻辑事务 13 模糊集与系统 13 自动推理杂志 13 符号逻辑公报 12 信息科学 12 数学逻辑档案 10 代数普遍性 9 信息处理信件 9 语言学与哲学 9 《数理逻辑季刊》 9 埃尔肯特尼斯 7 骨髓间充质干细胞。计算机科学中的数学结构 7 逻辑程序设计理论与实践 6 计算机与系统科学杂志 6 计算的形式方面 5 逻辑科公报 5 逻辑历史与哲学 5 国际博弈论综述 5 游戏 5 Logicheskie Issledovaniya公司 4 数学科学杂志(纽约) 4 人工智能研究杂志 4 科学基础 三 国际理论物理杂志 三 代数与逻辑 三 理论与决策 三 拓扑及其应用 三 订单 三 符号计算杂志 三 游戏与经济行为 三 托波伊 三 软计算 三 国际不确定性、模糊性和基于知识的系统杂志 三 Steklov数学研究所学报 三 计算机科学前沿 三 西伯利亚联邦大学学报。数学与物理 2 离散应用数学 2 以色列数学杂志 2 应用数学与计算 2 西伯利亚数学杂志 2 计算机程序设计科学 2 数学和计算机建模 2 国际计算机科学基础杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 Indagationes Mathematicae公司。新系列 2 系统设计中的形式化方法 2 计算系统理论 2 物理学基础 1 信息学报 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 计算机与数学及其应用 1 数学笔记 1 数学进展 1 Automatica公司 1 国际数学与数学科学杂志 1 代数杂志 1 数学心理学杂志 1 纯粹与应用代数杂志 1 凯贝内提卡 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 SIAM计算机杂志 1 美国数学学会会刊 1 数学社会科学 1 运营研究信件 1 匈牙利数学学报 1 社会选择与福利 1 新一代计算 1 算法 1 国际并行程序设计杂志 1 国际智能系统杂志 1 神经计算 1 国际计算机数学杂志 1 分布式计算 1 工程、通信和计算中的应用代数 1 数学成像与视觉杂志 1 图表 1 埃及数学学会杂志 1 应用Clifford代数的进展 1 菲洛马 1 非线性动力学 1 美国医学会杂志 …还有25部连续剧 全部的 前5名34个领域被引用 1,487 数学逻辑和基础(03-XX) 669 计算机科学(68至XX) 172 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 77 阶、格、有序代数结构(06-XX) 46 一般拓扑结构(54至XX) 32 历史与传记(01-XX) 29 一般性和全局性主题;集合(00-XX) 21 范畴理论;同调代数(18-XX) 16 量子理论(81-XX) 13 组合数学(05-XX) 11 一般代数系统(08-XX) 8 概率论与随机过程(60-XX) 7 测量和集成(28-XX) 7 几何形状(51至XX) 7 信息与通信理论、电路(94-XX) 6 相对论和引力理论(83至XX) 6 生物学和其他自然科学(92-XX) 5 群论与推广(20-XX) 4 结合环与代数(16-XX) 三 凸和离散几何(52至XX) 三 流形和细胞复合体(57至XX) 2 动力系统和遍历理论(37至XX) 2 代数拓扑(55-XX) 2 统计学(62-XX) 2 数学教育(97-XX) 1 数论(11-XX) 1 代数几何(14-XX) 1 非结合环与代数(17-XX) 1 拓扑群、李群(22-XX) 1 实际功能(26年X月X日) 1 偏微分方程(35-XX) 1 粒子和系统力学(70-XX) 1 地球物理学(86-XX) 1 系统论;控制(93至XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.