We prove Goldblatt-Thomason theorems for frames and models of a wide variety of modal intuitionistic logics, including ones studied by Wolter and Zakharyaschev, Goldblatt, Fischer Servi, and Plotkin and Sterling. We use the framework of dialgebraic logic to describe most of these logics and derive results in a uniform way.


翻译:我们证明了戈德布拉特-托马斯·托马森关于多种模式直觉主义逻辑框架和模型的理论,包括沃尔特和扎赫里亚什切夫、戈德布拉特、塞尔维、皮尔特金和斯特林研究的理论。 我们用拨号逻辑框架来描述大多数这些逻辑,并以统一的方式得出结果。

0
下载
关闭预览

相关内容

专知会员服务
55+阅读 · 2020年10月11日
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
机器学习线性代数速查
机器学习研究会
19+阅读 · 2018年2月25日
【资源】15个在线机器学习课程和教程
专知
8+阅读 · 2017年12月22日
Arxiv
0+阅读 · 2021年1月19日
Arxiv
7+阅读 · 2019年6月20日
VIP会员
相关资讯
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
机器学习线性代数速查
机器学习研究会
19+阅读 · 2018年2月25日
【资源】15个在线机器学习课程和教程
专知
8+阅读 · 2017年12月22日
Top
微信扫码咨询专知VIP会员