×
作者ID: 德格鲁特·吉姆“De Groot,Jim”最近发表的zbMATH文章
发布日期: 吉姆·德·格罗特;吉姆·德·格罗特
已编制索引的文档: 16出版物自2019年起,包括1个附加arXiv预打印
合著者: 11位合著者具有12联合出版物
240位合作作者

按年份列出的出版物

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

按年份列出的引文