会员服务
模态 ·
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讲授
专知会员服务
72+阅读 · 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.
专知会员服务
419+阅读 · 2021年1月11日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
125+阅读 · 2020年11月20日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
52+阅读 · 2020年9月7日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
【强化学习论文推荐集合】2019年必读的10篇TOP强化学习论文，My Top 10 Deep RL Papers of 2019
【强化学习论文推荐集合】2019年必读的10篇TOP强化学习论文，My Top 10 Deep RL Papers of 2019
专知会员服务
41+阅读 · 2020年1月15日
2019年自然语言处理NLP亮点总结，29页pdf，NLP Year in Review — 2019 NLP highlights for the year 2019.
2019年自然语言处理NLP亮点总结，29页pdf，NLP Year in Review — 2019 NLP highlights for the year 2019.
专知会员服务
68+阅读 · 2020年1月2日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
全球首个GNN为主的AI创业公司，募资$18.5 million！
全球首个GNN为主的AI创业公司，募资$18.5 million！
图与推荐
1+阅读 · 2022年4月16日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
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日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
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日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
强化学习族谱
强化学习族谱
CreateAMind
26+阅读 · 2017年8月2日
重离子储存环CSRe上激光冷却相对论能量类锂12C3+离子束的实验研究
国家自然科学基金
0+阅读 · 2015年12月31日
量子点红外探测器材料及器件物理研究
国家自然科学基金
0+阅读 · 2014年12月31日
空间极值模型的贝叶斯推断及其在气候变化政策中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
使用远红外及多环芳香烃辐射追溯红移为0,1,2处的星系恒星形成
国家自然科学基金
0+阅读 · 2012年12月31日
超低能Si团簇负离子束沉积制备硅烯(silicene)
国家自然科学基金
0+阅读 · 2012年12月31日
分子团簇负离子束沉积超薄BiSe二维拓扑绝缘体
国家自然科学基金
0+阅读 · 2012年12月31日
ReCOB型压电晶体的力频效应及其苛刻环境下性能稳定性研究
国家自然科学基金
0+阅读 · 2012年12月31日
异质结及量子点体系中的量子噪声研究
国家自然科学基金
0+阅读 · 2011年12月31日
量子点测量体系的量子噪声与灵敏度研究
国家自然科学基金
0+阅读 · 2011年12月31日
复形范畴中的Gorenstein同调维数
国家自然科学基金
0+阅读 · 2009年12月31日
A fundamental non-classical logic
Arxiv
0+阅读 · 2022年7月18日
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Arxiv
0+阅读 · 2022年7月18日
Exact and asymptotic goodness-of-fit tests based on the maximum and its location of the empirical process
Arxiv
0+阅读 · 2022年7月16日
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL
Arxiv
0+阅读 · 2022年7月15日
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 category-theoretic proof of the ergodic decomposition theorem
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日
Deep learning: a statistical viewpoint
Arxiv
18+阅读 · 2021年3月16日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
72+阅读 · 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.
专知会员服务
419+阅读 · 2021年1月11日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
125+阅读 · 2020年11月20日
不可错过！UIUC最新《统计强化学习》课程！
专知会员服务
52+阅读 · 2020年9月7日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
【强化学习论文推荐集合】2019年必读的10篇TOP强化学习论文，My Top 10 Deep RL Papers of 2019
【强化学习论文推荐集合】2019年必读的10篇TOP强化学习论文，My Top 10 Deep RL Papers of 2019
专知会员服务
41+阅读 · 2020年1月15日
2019年自然语言处理NLP亮点总结，29页pdf，NLP Year in Review — 2019 NLP highlights for the year 2019.
2019年自然语言处理NLP亮点总结，29页pdf，NLP Year in Review — 2019 NLP highlights for the year 2019.
专知会员服务
68+阅读 · 2020年1月2日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
全球首个GNN为主的AI创业公司，募资$18.5 million！
全球首个GNN为主的AI创业公司，募资$18.5 million！
图与推荐
1+阅读 · 2022年4月16日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
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日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
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日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
强化学习族谱
强化学习族谱
CreateAMind
26+阅读 · 2017年8月2日
相关论文
A fundamental non-classical logic
Arxiv
0+阅读 · 2022年7月18日
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Arxiv
0+阅读 · 2022年7月18日
Exact and asymptotic goodness-of-fit tests based on the maximum and its location of the empirical process
Arxiv
0+阅读 · 2022年7月16日
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL
Arxiv
0+阅读 · 2022年7月15日
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 category-theoretic proof of the ergodic decomposition theorem
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日
Deep learning: a statistical viewpoint
Arxiv
18+阅读 · 2021年3月16日
相关基金
重离子储存环CSRe上激光冷却相对论能量类锂12C3+离子束的实验研究
国家自然科学基金
0+阅读 · 2015年12月31日
量子点红外探测器材料及器件物理研究
国家自然科学基金
0+阅读 · 2014年12月31日
空间极值模型的贝叶斯推断及其在气候变化政策中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
使用远红外及多环芳香烃辐射追溯红移为0,1,2处的星系恒星形成
国家自然科学基金
0+阅读 · 2012年12月31日
超低能Si团簇负离子束沉积制备硅烯(silicene)
国家自然科学基金
0+阅读 · 2012年12月31日
分子团簇负离子束沉积超薄BiSe二维拓扑绝缘体
国家自然科学基金
0+阅读 · 2012年12月31日
ReCOB型压电晶体的力频效应及其苛刻环境下性能稳定性研究
国家自然科学基金
0+阅读 · 2012年12月31日
异质结及量子点体系中的量子噪声研究
国家自然科学基金
0+阅读 · 2011年12月31日
量子点测量体系的量子噪声与灵敏度研究
国家自然科学基金
0+阅读 · 2011年12月31日
复形范畴中的Gorenstein同调维数
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top