编辑配置文件(在新选项卡中打开) 吉姆·德·格罗特 合著者距离 作者ID: 德格鲁特·吉姆 发布日期: 吉姆·德·格罗特;吉姆·德·格罗特 已编制索引的文档: 16出版物自2019年起,包括1个附加arXiv预打印 合著者: 11位合著者具有12联合出版物 240位合作作者 全部的 前5名合著者 4 单作者的 5 尼克·贝扎尼什维利 5 德克·帕丁森 2 维尼马,伊德 1 古拉姆·贝扎尼什维利 1 安娜·德米特里娃 1 塞巴斯蒂安·恩奎斯特 1 Helle Hvid Hansen先生 1 亚历山大·库兹 1 塔德乌兹·利塔克 1 托马索·莫拉希尼 1 帕丁森,污垢 全部的 前5名系列 三 计算机科学中的逻辑方法 2 Studia Logica公司 1 圣母院形式逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 逻辑与计算杂志 字段 13 数学逻辑和基础(03-XX) 6 计算机科学(68-XX) 2 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 8出版物有被引用13中的次8文件 引用人▼ 年份▼ 模态直觉逻辑是辩证逻辑。 兹比尔1498.03050 吉姆·德·格罗特;德克·帕丁森 三 2020 通过余代数实现瞬时邻域逻辑的对偶性。 Zbl 07314147号 尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特;吉姆·德·格罗特 三 2020 (模态)双直觉逻辑的Hennessy-Milner性质。 Zbl 07176924号 吉姆·德·格罗特;德克·帕丁森 2 2019 协同几何逻辑。 Zbl 07649890号 尼克·贝扎尼什维利;吉姆·德·格罗特;维尼马,伊德 1 2019 正单调模态逻辑。 Zbl 1486.03041号 吉姆·德·格罗特 1 2021 逻辑诱导的相互模拟。 Zbl 07585719号 吉姆·德·格罗特;Helle Hvid Hansen先生;亚历山大·库兹 1 2020 Hennessy-Milner性质的拓扑紧性。 Zbl 1525.03050号 吉姆·德·格罗特;德克·帕丁森 1 2022 超越分配性的正模态逻辑。 Zbl 07780209号 尼克·贝扎尼什维利;安娜·德米特里娃;吉姆·德·格罗特;托马索·莫拉希尼 1 2024 超越分配性的正模态逻辑。 Zbl 07780209号 尼克·贝扎尼什维利;安娜·德米特里娃;吉姆·德·格罗特;托马索·莫拉希尼 1 2024 Hennessy-Milner性质的拓扑紧性。 Zbl 1525.03050号 吉姆·德·格罗特;德克·帕丁森 1 2022 正单调模态逻辑。 Zbl 1486.03041号 吉姆·德·格罗特 1 2021 模态直觉逻辑是辩证逻辑。 Zbl 1498.03050号 吉姆·德·格罗特;德克·帕丁森 三 2020 通过余代数实现瞬时邻域逻辑的对偶性。 Zbl 07314147号 尼克·贝扎尼什维利;塞巴斯蒂安·恩奎斯特;吉姆·德·格罗特 三 2020 逻辑诱导的相互模拟。 Zbl 07585719号 吉姆·德·格罗特;Helle Hvid Hansen先生;亚历山大·库兹 1 2020 (模态)双直觉逻辑的Hennessy-Milner性质。 Zbl 07176924号 吉姆·德·格罗特;德克·帕丁森 2 2019 协同几何逻辑。 Zbl 07649890号 尼克·贝扎尼什维利;吉姆·德·格罗特;维尼马,伊德 1 2019 所有引用出版物 排名前五的出版物 全部的 前5名8位作者引用 6 吉姆·德·格罗特 三 德克·帕丁森 2 尼克·贝扎尼什维利 2 维尼马,伊德 1 赫里萨菲斯·哈托纳斯 1 罗斯·霍恩 1 绍克·莫 1 塞门·尤尔科夫 全部的 前5名引用于6个系列 2 计算机科学中的逻辑方法 1 代数普遍性 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 理论计算机科学 1 信息与计算 在3个字段中引用 6 数学逻辑和基础(03-XX) 4 计算机科学(68-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文