会员服务
模态 · 模态逻辑 ·
12 月 4 日
Intuitionistic modal logic LIK4 is decidable
翻译：直觉主义模态逻辑LIK4是可判定的
Philippe Balbiani,Çigdem Gencer,Tinko Tinchev
Philippe Balbiani,Çigdem Gencer,Tinko Tinchev

In this note, we prove that intuitionistic modal logic LIK4 is decidable.


翻译：本文证明了直觉主义模态逻辑LIK4是可判定的。
0
下载
关闭预览

相关内容

UnHiPPO：面向不确定性的状态空间模型初始化方法
UnHiPPO：面向不确定性的状态空间模型初始化方法
专知会员服务
11+阅读 · 6月6日
【ICML2025】大语言模型的有限理性：推理时的“满意化”对齐策略
【ICML2025】大语言模型的有限理性：推理时的“满意化”对齐策略
专知会员服务
11+阅读 · 6月1日
WWW 2024 | GraphTranslator: 将图模型对齐大语言模型
WWW 2024 | GraphTranslator: 将图模型对齐大语言模型
专知会员服务
27+阅读 · 2024年3月25日
NeurIPS 2021 | 寻找用于变分布泛化的隐式因果因子
NeurIPS 2021 | 寻找用于变分布泛化的隐式因果因子
专知会员服务
17+阅读 · 2021年12月7日
【ICML2021】基于子图结构的GNN解释模型
专知会员服务
50+阅读 · 2021年6月2日
【ICML2021】因果匹配领域泛化
【ICML2021】因果匹配领域泛化
专知
12+阅读 · 2021年8月12日
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
【ICML2020】图神经网络谱聚类
【ICML2020】图神经网络谱聚类
专知
10+阅读 · 2020年7月7日
条件概率和贝叶斯公式 - 图解概率 03
条件概率和贝叶斯公式 - 图解概率 03
遇见数学
10+阅读 · 2018年6月5日
CNN 反向传播算法推导
CNN 反向传播算法推导
统计学习与视觉计算组
30+阅读 · 2017年12月29日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
2+阅读 · 2015年12月31日
低差分均匀度密码函数的构造与分析
国家自然科学基金
0+阅读 · 2015年12月31日
基于格值逻辑的语言真值α-群锁语义归结自动推理研究
国家自然科学基金
0+阅读 · 2015年12月31日
量子齐次空间上同调的非交换Hodge分解及形变意义
国家自然科学基金
0+阅读 · 2015年12月31日
基于quantaloid-加载范畴的quantale值收敛理论
国家自然科学基金
1+阅读 · 2014年12月31日
Extending Action Logic with Omega Iteration
Arxiv
0+阅读 · 12月7日
Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
Arxiv
0+阅读 · 12月5日
Rings and Boolean Algebras as Algebraic Theories
Arxiv
0+阅读 · 11月22日
Cogent argument extensions are weakly admissible but not vice versa
Arxiv
0+阅读 · 11月12日
Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
Arxiv
0+阅读 · 11月4日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
模态逻辑
相关VIP内容
UnHiPPO：面向不确定性的状态空间模型初始化方法
UnHiPPO：面向不确定性的状态空间模型初始化方法
专知会员服务
11+阅读 · 6月6日
【ICML2025】大语言模型的有限理性：推理时的“满意化”对齐策略
【ICML2025】大语言模型的有限理性：推理时的“满意化”对齐策略
专知会员服务
11+阅读 · 6月1日
WWW 2024 | GraphTranslator: 将图模型对齐大语言模型
WWW 2024 | GraphTranslator: 将图模型对齐大语言模型
专知会员服务
27+阅读 · 2024年3月25日
NeurIPS 2021 | 寻找用于变分布泛化的隐式因果因子
NeurIPS 2021 | 寻找用于变分布泛化的隐式因果因子
专知会员服务
17+阅读 · 2021年12月7日
【ICML2021】基于子图结构的GNN解释模型
专知会员服务
50+阅读 · 2021年6月2日
热门VIP内容
相关资讯
【ICML2021】因果匹配领域泛化
【ICML2021】因果匹配领域泛化
专知
12+阅读 · 2021年8月12日
【CVPR2021】半监督迁移学习的自适应一致性正则化
【CVPR2021】半监督迁移学习的自适应一致性正则化
专知
41+阅读 · 2021年3月7日
【ICML2020】图神经网络谱聚类
【ICML2020】图神经网络谱聚类
专知
10+阅读 · 2020年7月7日
条件概率和贝叶斯公式 - 图解概率 03
条件概率和贝叶斯公式 - 图解概率 03
遇见数学
10+阅读 · 2018年6月5日
CNN 反向传播算法推导
CNN 反向传播算法推导
统计学习与视觉计算组
30+阅读 · 2017年12月29日
相关论文
Extending Action Logic with Omega Iteration
Arxiv
0+阅读 · 12月7日
Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
Arxiv
0+阅读 · 12月5日
Rings and Boolean Algebras as Algebraic Theories
Arxiv
0+阅读 · 11月22日
Cogent argument extensions are weakly admissible but not vice versa
Arxiv
0+阅读 · 11月12日
Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
Arxiv
0+阅读 · 11月4日
相关基金
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
2+阅读 · 2015年12月31日
低差分均匀度密码函数的构造与分析
国家自然科学基金
0+阅读 · 2015年12月31日
基于格值逻辑的语言真值α-群锁语义归结自动推理研究
国家自然科学基金
0+阅读 · 2015年12月31日
量子齐次空间上同调的非交换Hodge分解及形变意义
国家自然科学基金
0+阅读 · 2015年12月31日
基于quantaloid-加载范畴的quantale值收敛理论
国家自然科学基金
1+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top