×
卡洛斯·阿雷塞斯;法孔多·卡雷罗;圣地亚哥Figueira

通过饱和模型进行表征、可定义和分离。 （英文） Zbl 1323.03016号

西奥。计算。科学。 537, 72-86 (2014).
摘要：关于模态逻辑（mathfrak L）的表示性的三个重要结果是特征定理（它将模态逻辑（mathfrak L\）标识为更为著名的逻辑片段）、可定义定理（它提供了一类（mathfrak L\）的条件-模型可以由（mathfrak L）的一个公式或一组公式定义，分离定理（它提供了两个不相交的（mathfrak L）模型类可以由（mathfrak L\）中定义的类分离的条件）。
我们提供了一般条件，在这些条件下，可以为表达式低于一阶逻辑的模型类和模态语言的给定选择建立这些结果。除了大多数模态逻辑容易满足的一些基本约束之外，我们需要的基本条件是，所讨论的一类（ω）饱和模型相对于所考虑的观测等价概念具有Hennessy-Milner性质。鉴于特征化、可定义性和分离定理是（mathfrak L）模型理论的基石之一，这个性质可以被视为确定特定模态逻辑的观测等价性的适当概念的测试。

引用于1文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03元50分 具有特殊属性（饱和、刚性等）的模型
03C45号机组 分类理论、稳定性和模型理论中的相关概念

关键词：

模态逻辑;模型理论;模拟;特性描述;可定义性;分离;饱和
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}等人，Theor。计算。科学。537、72--86（2014；Zbl 1323.03016）
全文： 内政部

参考文献：

[1] Areces，C.，《混合逻辑：新旧》（Arrazola，X.；Larrazabal，J.，LogKCA-07会议录，西班牙圣塞巴斯蒂安（2007）），15-29
[2] 阿瑞斯，C。；Figueira，D。；Figueira，S。；Mera，S.，《记忆逻辑的表达能力和可判定性》，（逻辑、语言、信息和计算，WoLLIC会议录。逻辑、语言，信息与计算，WoLL IC会议录，苏格兰爱丁堡，2008年。逻辑、语言、信息和计算，《WoLLIC学报》。《逻辑、语言、信息和计算》，《WoLLIC会议录》，苏格兰爱丁堡，2008年，《计算讲义》。科学。，第5110卷（2008年），《施普林格：施普林格·柏林/海德堡》，第56-68页·Zbl 1156.03029号
[3] Areces，C。；Figueira，D。；Figueira，S。；Mera，S.，《记忆逻辑的表达能力》，Rev.Symb。日志。，4, 2, 290-318 (2011) ·Zbl 1247.03027号
[4] Areces，C。；Figueira，S。；Mera，S.，记忆逻辑的完整性结果，Ann.Pure Appl。逻辑，163，7，961-972（2011）·Zbl 1245.03023号
[5] Areces，C。；ten Cate，B.，混合逻辑，（Blackburn，P.；Wolter，F.；van Benthem，J.，模态逻辑手册（2006），爱思唯尔），821-868
[6] 巴德，F。；Calvanee，D。；McGuinness，D。；Nardi，D。；Patel-Schneider，P.，《描述逻辑手册》（2007），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市·Zbl 1132.68055号
[7] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市·Zbl 0988.03006号
[8] Carreiro，F.，《关于表征、可定义性和（ω）饱和模型》，（计算理论方面国际学术讨论会，计算科学理论方面国际研讨会，第6916卷（2011年），施普林格：施普林格-柏林/海德堡），62-76·Zbl 1351.03011号
[9] Chang，C。；Keisler，H.，《逻辑与数学基础研究》，模型理论，第73卷（1973年），爱思唯尔科学B.V.：爱思唯尔科学B.V.荷兰阿姆斯特丹·Zbl 0276.02032号
[10] Dawar，A。；Otto，M.，特殊框架类上的模态特征定理，Ann.Pure Appl。逻辑，161，1，1-42（2009）·Zbl 1185.03027号
[11] de Rijke，M.，不等式的模态逻辑，J.符号逻辑，57，566-584（1992）·Zbl 0788.03019号
[12] de Rijke，M.，模态模型理论（1995），CWI:CWI阿姆斯特丹，技术代表CS-R9517
[13] de Rijke，M。；Sturm，H.，基本模态逻辑中的全局可定义性，（Wansing，H.《非经典逻辑论文》（2001），世界科学出版社），111-135·Zbl 0998.03014号
[14] 戈兰科，V。；Otto，M.，模态逻辑的模型理论，（Blackburn，P.；Wolter，F.；van Benthem，J.，《模态逻辑手册》（2006），Elsevier），255-325
[15] V.戈兰科。；Passy，S.，《使用通用形式：收获与问题》，J.Logic Comput。，2, 1, 5-30 (1992) ·Zbl 0774.03003号
[16] Hansen，H.，《单调模态逻辑》（2003），ILLC，阿姆斯特丹大学，硕士论文
[17] Hollenberg，M.，逻辑与互模拟（1998），乌得勒支大学哲学研究所，博士论文
[18] Janin，D。；Walukiewicz，I.，《关于命题演算相对于一元二阶逻辑的表达完备性》，（Montanari，U.；Sassone，V.，CONCUR.CONCUR，《计算科学讲义》，第1119卷（1996），Springer），263-277·Zbl 1514.68171号
[19] Kamp，H.，时态逻辑与线性序理论（1968），加州大学洛杉矶分校博士论文
[20] Keisler，H.，《超积构造》（The ultraproduct construction），（Bergelson，V.；Blass，A.；Di Nasso，M.；Jin，R.，《数学中的超过滤器》，《数学中超过滤器》（Ultrafilters Across Mathematics），第530卷（2010），美国数学学会），163-179·Zbl 1242.03059号
[21] Kozen，D.，命题演算的结果，定理。计算。科学。，27, 3, 333-354 (1983) ·Zbl 0553.03007号
[22] 北卡罗来纳州库托尼纳。；de Rijke，M.，时态逻辑的互模拟，J.Log。语言信息，6403-425（1997）·Zbl 0882.03017号
[23] 北卡罗来纳州库托尼纳。；de Rijke，M.，《分类描述逻辑》（Brachman，R.J.；Donini，F.M.；Franconi，E.；Horrocks，I.；Levy，A.Y.；Rousset，M.-C.，《描述逻辑》，第410卷（1997），URA-CNRS）
[24] Kurtonina，北卡罗来纳州。；de Rijke，M.，《无否定模拟》，J.逻辑计算。，7, 503-524 (1997) ·Zbl 0904.03008号
[25] 北卡罗来纳州库托尼纳。；de Rijke，M.，一阶描述逻辑中概念表达式的表达，人工智能，107，2，303-333（1999）·Zbl 0993.03042号
[26] Marker，D.，《模型理论：导论》，Grad。数学课文。（2002），施普林格·兹比尔1003.03034
[27] 马克思，M。；Venema，Y.，多维模态逻辑，应用。日志。序列号。，4 (1997) ·Zbl 0942.03029号
[28] Mera，S.，模态记忆逻辑（2009），布宜诺斯艾利斯大学和亨利·蓬加莱大学：阿根廷布宜诺斯艾大学和亨里·蓬加雷大学博士论文
[29] 莫勒，F。；Rabinovich，A.，《关于CTL*的表达能力》，（LICS，IEEE Computer Society（1999）），360-368
[30] Otto，M.，《互模拟不变性和有限模型》，（Chatzidakis，Z.；Koepke，P.；Pohlers，W.，《逻辑学术讨论会’02》。02年逻辑学术讨论会，Lect。备注日志。（2006），ASL），276-298·Zbl 1102.03036号
[31] 帕丁森，D.，《协同代数模态逻辑：局部结果的健全性、完备性和可判定性》，理论。计算。科学。，309, 1-3, 177-193 (2003) ·Zbl 1052.03009号
[32] Prior，A.，《过去、现在和未来》（1967），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 0169.29802号
[33] Prior，A.，《关于时间和时态的论文》（1968），牛津大学出版社
[34] Rosen，E.，有限结构上的模态逻辑，J.Log。语言信息，6427-439（1995）·Zbl 0882.03014号
[35] 施罗德，L。；Pattinson，D.，同胚对应理论，（Ong，L.，FoSSaCS 2010年会议记录。FoSSaCS 2010会议录，计算机课堂讲稿。科学。，第6014卷（2010），施普林格），328-342·Zbl 1284.03211号
[36] 施罗德，L。；Pattinson，D.，Rank-1模态逻辑是联合逻辑，J.Logic Comput。，20, 5, 1113-1147 (2010) ·Zbl 1266.03032号
[37] Sturm，H.，模态片段von（L_｛\omega\omega｝）und（L_｛\omega_1\omega｝（1997）\），独联体，慕尼黑大学，博士论文
[38] van Benthem，J.，模态对应理论（1976），阿姆斯特丹大学，Logica en Grondslagenderzoek van Exacte Wetenschappen研究所，博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。