会员服务
模态 ·
2022 年 6 月 1 日
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
翻译：Goldblatt-Thoomson Modal 理论学理论论
Jim de Groot
Jim de Groot

We prove a Goldblatt-Thomason theorem for dialgebraic intuitionistic logics, and instantiate it to Goldblatt-Thomason theorems for a wide variety of modal intuitionistic logics from the literature.


翻译：我们证明了古德布拉特 -托马斯森理论 用于拨数直觉学逻辑的理论 并把它转嫁给戈德布拉特 -托马斯森理论 从文献中产生的各种模式直觉学逻辑
0
下载
关闭预览

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
432+阅读 · 2021年1月11日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
54+阅读 · 2020年9月7日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
全球首个GNN为主的AI创业公司，募资$18.5 million！
全球首个GNN为主的AI创业公司，募资$18.5 million！
图与推荐
1+阅读 · 2022年4月16日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Call for Nominations: 2022 Multimedia Prize Paper Award
Call for Nominations: 2022 Multimedia Prize Paper Award
CCF多媒体专委会
0+阅读 · 2022年2月12日
重离子储存环CSRe上激光冷却相对论能量类锂12C3+离子束的实验研究
国家自然科学基金
0+阅读 · 2015年12月31日
量子点红外探测器材料及器件物理研究
国家自然科学基金
0+阅读 · 2014年12月31日
空间极值模型的贝叶斯推断及其在气候变化政策中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
使用远红外及多环芳香烃辐射追溯红移为0,1,2处的星系恒星形成
国家自然科学基金
0+阅读 · 2012年12月31日
分子团簇负离子束沉积超薄BiSe二维拓扑绝缘体
国家自然科学基金
0+阅读 · 2012年12月31日
Exact and asymptotic goodness-of-fit tests based on the maximum and its location of the empirical process
Arxiv
0+阅读 · 2022年7月16日
Theoretical analysis and numerical approximation for the stochastic thermal quasi-geostrophic model
Theoretical analysis and numerical approximation for the stochastic thermal quasi-geostrophic model
Arxiv
0+阅读 · 2022年7月15日
A Modular Approach to the Embodiment of Hand Motions from Human Demonstrations
A Modular Approach to the Embodiment of Hand Motions from Human Demonstrations
Arxiv
0+阅读 · 2022年7月15日
A Simulation Study of Functional Electrical Stimulation for An Upper Limb Rehabilitation Robot using Iterative Learning Control (ILC) and Linear models
Arxiv
0+阅读 · 2022年7月15日
Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges
Arxiv
16+阅读 · 2021年5月2日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
432+阅读 · 2021年1月11日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
54+阅读 · 2020年9月7日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
热门VIP内容
相关资讯
全球首个GNN为主的AI创业公司，募资$18.5 million！
全球首个GNN为主的AI创业公司，募资$18.5 million！
图与推荐
1+阅读 · 2022年4月16日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Call for Nominations: 2022 Multimedia Prize Paper Award
Call for Nominations: 2022 Multimedia Prize Paper Award
CCF多媒体专委会
0+阅读 · 2022年2月12日
相关论文
Exact and asymptotic goodness-of-fit tests based on the maximum and its location of the empirical process
Arxiv
0+阅读 · 2022年7月16日
Theoretical analysis and numerical approximation for the stochastic thermal quasi-geostrophic model
Theoretical analysis and numerical approximation for the stochastic thermal quasi-geostrophic model
Arxiv
0+阅读 · 2022年7月15日
A Modular Approach to the Embodiment of Hand Motions from Human Demonstrations
A Modular Approach to the Embodiment of Hand Motions from Human Demonstrations
Arxiv
0+阅读 · 2022年7月15日
A Simulation Study of Functional Electrical Stimulation for An Upper Limb Rehabilitation Robot using Iterative Learning Control (ILC) and Linear models
Arxiv
0+阅读 · 2022年7月15日
Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges
Arxiv
16+阅读 · 2021年5月2日
相关基金
重离子储存环CSRe上激光冷却相对论能量类锂12C3+离子束的实验研究
国家自然科学基金
0+阅读 · 2015年12月31日
量子点红外探测器材料及器件物理研究
国家自然科学基金
0+阅读 · 2014年12月31日
空间极值模型的贝叶斯推断及其在气候变化政策中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
使用远红外及多环芳香烃辐射追溯红移为0,1,2处的星系恒星形成
国家自然科学基金
0+阅读 · 2012年12月31日
分子团簇负离子束沉积超薄BiSe二维拓扑绝缘体
国家自然科学基金
0+阅读 · 2012年12月31日
Top
微信扫码咨询专知VIP会员
Top