In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. The first semantics is given by extending the syntax of combinatorial proofs for propositional intuitionistic logic, in which proofs are factorised in a linear fragment (arena net) and a parallel weakening-contraction fragment (skew fibration). In particular we provide an encoding of modal formulas by means of directed graphs (modal arenas), and an encoding of linear proofs as modal arenas equipped with vertex partitions satisfying topological criteria. The second semantics is given by means of winning innocent strategies of a two-player game over modal arenas. This is given by extending the Heijltjes-Hughes-Stra{\ss}burger correspondence between intuitionistic combinatorial proofs and winning innocent strategies in a Hyland-Ong arena. Using our first result, we provide a characterisation of winning strategies for games on a modal arena corresponding to proofs with modalities.


翻译:在本文中,我们为建设性模式逻辑CK和CD中的证据提供了两种新的语义。第一个语义通过扩展组合式证据的语义,用于推理直率逻辑,在这种逻辑中,证据在线形碎片(arena net)和平行的削弱-分包碎片(skew 纤维化)中被考虑到。特别是,我们通过定向图解(现代舞台)提供了模型公式的编码,并将线性证据编码为模式场,配备了符合地形学标准的脊椎分区。第二个语义是通过在模型场上赢得一场双玩游戏的无辜策略。这是通过扩展Heijltjes-Hughes-Strasurs)汉堡在直觉式组合证据和在Hyland-Ong竞技场中赢得无辜策略之间的对应。我们利用我们的第一个结果,为在模型竞技场上赢得符合模式证据的游戏策略提供了特征。

0
下载
关闭预览

相关内容

756页美国国家安全AI战略报告
专知会员服务
174+阅读 · 2021年3月25日
ACL2020接受论文列表公布,571篇长文208篇短文
专知会员服务
66+阅读 · 2020年5月19日
Stabilizing Transformers for Reinforcement Learning
专知会员服务
59+阅读 · 2019年10月17日
AAAI2020 图相关论文集
图与推荐
10+阅读 · 2020年7月15日
IJCAI2020信息抽取相关论文合集
AINLP
6+阅读 · 2020年6月16日
使用vae与sac实现简单自动驾驶
CreateAMind
9+阅读 · 2019年6月6日
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【NIPS2018】接收论文列表
专知
5+阅读 · 2018年9月10日
ACL 2018 计算语言学协会接受论文列表
专知
3+阅读 · 2018年4月27日
深度撕裂的台湾:Semantics-Preserving Hash
我爱读PAMI
4+阅读 · 2017年3月29日
Arxiv
0+阅读 · 2021年6月4日
Arxiv
0+阅读 · 2021年6月4日
VIP会员
相关VIP内容
756页美国国家安全AI战略报告
专知会员服务
174+阅读 · 2021年3月25日
ACL2020接受论文列表公布,571篇长文208篇短文
专知会员服务
66+阅读 · 2020年5月19日
Stabilizing Transformers for Reinforcement Learning
专知会员服务
59+阅读 · 2019年10月17日
相关资讯
AAAI2020 图相关论文集
图与推荐
10+阅读 · 2020年7月15日
IJCAI2020信息抽取相关论文合集
AINLP
6+阅读 · 2020年6月16日
使用vae与sac实现简单自动驾驶
CreateAMind
9+阅读 · 2019年6月6日
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【NIPS2018】接收论文列表
专知
5+阅读 · 2018年9月10日
ACL 2018 计算语言学协会接受论文列表
专知
3+阅读 · 2018年4月27日
深度撕裂的台湾:Semantics-Preserving Hash
我爱读PAMI
4+阅读 · 2017年3月29日
Top
微信扫码咨询专知VIP会员