×

好奇的相互模拟。 (英语) Zbl 07370807号

摘要:探究式模态逻辑,InqML公司是标准克里普克式模态逻辑的推广。在它的认知化身中,它扩展了标准的认知逻辑,不仅捕获代理人拥有的信息,还捕获他们感兴趣的问题,InqML公司适合基于团队语义的逻辑家族。从模型理论的角度来看,它使我们朝着一元二阶逻辑的方向迈出了一步,因为好奇的模态操作符涉及对世界集合的量化。我们引入并研究了互模拟等价的自然概念InqML公司。我们比较了InqML公司以及具有两种类型(一种用于世界,另一种用于信息状态)的关系结构背景下的一阶逻辑,并将查询模态逻辑描述为两种类型结构的各种自然类上一阶逻辑的互模拟不变片段。

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
03B42型 知识和信念的逻辑(包括信念变化)
03C13号机组 有限结构模型理论
03C80号 带有额外量词和运算符的逻辑
03B70号 计算机科学中的逻辑
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Abramsky,S.和Väänänen,J.,《从IF到BI.综合》,第167卷(2009年),第2期,第207-230页·Zbl 1175.03016号
[2] Ciardelli,I.,《问题领域中的模态:公理化探究认知逻辑》,《模态逻辑的进展》(Goré,R.,Kooi,B.,and Kurucz,A.,编辑),大学出版社,伦敦,2014年,第94-113页·Zbl 1385.03006号
[3] Ciardelli,I.,《逻辑问题》,ILLC论文系列DS-2016-01卷,逻辑、语言和计算研究所,阿姆斯特丹,2016年。
[4] Ciardelli,I.,《依赖作为问题蕴涵》,依赖逻辑:理论与应用(Abramsky,S.,Kontine,J.,Väänänen,J.和Vollmer,H.,编辑),施普林格国际出版公司,2016年,第129-181页·Zbl 1429.03112号
[5] Ciardelli,I.,《作为信息类型的问题》。《合成》,第195卷(2018),第1期,第321-365页·兹比尔1455.03038
[6] Ciardelli,I.,Groenendijk,J.和Roelofsen,F.,《调查语义:意义的新概念》。《语言与语言学指南》,第7卷(2013年),第9期,第459-476页·Zbl 1383.03038号
[7] Ciardelli,I.、Groenendijk,J.和Roelofsen,F.,《关于陈述句和疑问句的语义和逻辑》。《综合》,第192卷(2015年),第6期,第1689-1728页·Zbl 1357.03064号
[8] Ciardelli,I.和Otto,M.,《探究式模态逻辑中的互模拟》,《理性与知识的理论方面》(Lang,J.编辑),第16卷。EPTCS,2017年。
[9] Ciardelli,I.和Otto,M.,《探究性相互模拟》。预印,2018年,arXiv预印,57页,arXiv:1803.03483。
[10] Ciardelli,I.和Roelofsen,F.,《调查逻辑》。《哲学逻辑杂志》,第40卷(2011年),第55-94页·Zbl 1214.03019号
[11] Ciardelli,I.和Roelofsen,F.,《探究性动态认知逻辑》。《综合》,第192卷(2015年),第6期,第1643-1687页·Zbl 1357.03046号
[12] Ciardelli,I.、Groenendijk,J.和Roelofsen,F.,《探究语义学》,牛津大学出版社,牛津,2018年·Zbl 1403.03001号
[13] Dawar,A.和Otto,M.,特殊框架类上的模态特征定理。《纯粹和应用逻辑年鉴》,第161卷(2009年),第1-42页·Zbl 1185.03027号
[14] Galliani,P.,团队语义中的包含和排除依赖关系,关于不完全信息的一些逻辑。《纯粹与应用逻辑年鉴》,第163卷(2012年),第1期,第68-84页·Zbl 1250.03047号
[15] Goranko,V.和Otto,M.,模态逻辑的模型理论,模态逻辑手册(Blackburn,P.,Van Benthem,J.和Wolter,F.编辑),Elsevier,2007年,第249-329页·Zbl 1114.03001号
[16] Hansen,H.H.,《单音模态逻辑》,阿姆斯特丹大学硕士论文,2003年。
[17] Hansen,H.H.、Kupke,C.和Pacuit,E.,《邻里结构:双相似性和基本模型理论》。《计算机科学中的逻辑方法》,第2卷(2009年),第1-38页·Zbl 1172.03011号
[18] 《知识与信仰:两个概念的逻辑导论》,康奈尔大学出版社,伊萨卡,1962年。
[19] Hodges,W.,《不完全信息语言的合成语义》。《IGPL逻辑杂志》,第5卷(1997年),第4期,第539-563页·Zbl 0945.03034号
[20] Hodges,W.,《一些奇怪的量词》,《逻辑和计算机科学中的结构》,《计算机科学讲义》,Springer,纽约,1997年,第51-65页·Zbl 0883.03022号
[21] Kontine,J.、Müller,J.-S.、Schnoor,H.和Vollmer,H.,模态团队语义的范本特姆定理,CSL 24会议录。莱布尼茨国际信息学论文集,2015年,第277-291页·兹比尔1373.03024
[22] Meißner,S.,《关于好奇模态逻辑的模型理论》,学士论文。达姆施塔特大学数学系,2018年。
[23] Meißner,S.和Otto,M.,好奇模态逻辑的一阶框架。arXiv预印本,2019年,16页,arXiv:1906.04981。
[24] Otto,M.,van Benthem-Rosen特征化定理的初等证明。技术报告2342,Fachbereich Mathematik,达姆施塔特科技大学,2004年。
[25] Otto,M.,有限转移系统上的模态和守卫特征定理。《纯粹逻辑与应用逻辑年鉴》,第130卷(2004),第173-205页·Zbl 1056.03018号
[26] Otto,M.,高度非环群,超图覆盖和保护片段。《美国医学会杂志》,第59卷(2012年),第1期。https://dl.acm.org/doi/10.1145/208242.2108247。 ·Zbl 1281.03008号
[27] Pacuit,E.,《模态逻辑的邻域语义》,Springer,纽约,2017年(即将出版)·Zbl 1390.03001号
[28] Rosen,E.,有限结构上的模态逻辑。《逻辑、语言和信息杂志》,第6卷(1997年),第427-439页·Zbl 0882.03014号
[29] 《依赖逻辑:独立友好逻辑的新方法》,马萨诸塞州剑桥大学出版社,2007年·Zbl 1117.03037号
[30] Väänänen,J.,《模式依赖逻辑》,《游戏与互动的新视角》(Apt,K.R.和Van Rooij,R.编辑),阿姆斯特丹大学出版社,2008年,第237-254页·Zbl 1377.03011号
[31] 范·本特姆,J.,《模态逻辑和经典逻辑》,那不勒斯,图书馆,1983年·Zbl 0639.03014号
[32] Yang,F.,《依赖逻辑的扩展和变体:团队语义环境中直觉连接词的研究》,赫尔辛基大学博士论文,2014年。
[33] Yang,F.和Väänänen,J.,依赖命题逻辑。《纯粹和应用逻辑年鉴》,第167卷(2016年),第557-589页·Zbl 1355.03021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。