首页/论文/2207.12596

arXiv 2207.125962022-07-26math.LOcs.LO

有限非时序宽度的幂与模态逻辑中的典范性

Canonicity in power and modal logics of finite achronal width

Robert Goldblatt, Ian Hodkinson

发表信息：: The Review of Symbolic Logic 17 (2024) 705-735
DOI：: 10.1017/S1755020323000060

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文开发了一种证明方法，表明在可数生成典范 Kripke 框架中有效的模态逻辑在不可数生成框架中也有效，并应用于有限宽度逻辑及新引入的有限非时序宽度多模态逻辑类。

摘要：

我们开发了一种方法，用于证明在其可数生成的典范 Kripke 框架中有效的各种模态逻辑，在其不可数生成的框架中也必须有效。该方法被应用于许多系统，包括有限宽度的逻辑，以及本文引入的更广泛的“有限非时序宽度”多模态逻辑类。

英文摘要：

We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones. This is applied to many systems, including the logics of finite width, and a broader class of multimodal logics of `finite achronal width' that are introduced here.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

模态从属代数中拟不等式与$Π_2$ -语句的对应与规范性理论

Correspondence and Canonicity Theory of Quasi-Inequalities and $Π_2$-Statements in Modal Subordination Algebras

本文研究了模态从属代数及其具有两个关系的对偶Stone空间的对应和标准性理论，推广了\cite{dR20,dRHaSt20,dRPa21,Sa16}中从属代数的对应结果.由于模态从属代数的语言涉及二元从属关系，我们将发现使用所谓的拟不等式和$Π_2$ -语句是方便的。本文利用一种算法将（限制）归纳拟不等式和（限制）归纳$Π_2$ -语句转化为对偶Stone空间上等价的一阶对应式，该空间分别关于任意的可接受的）估值。

2022-06-11math.LO

单调模态逻辑的对应性、规范性和模型论

Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics

本文研究了Chang首先提出的邻域框架逻辑--余代数谓词逻辑在单调模态逻辑研究中的作用。我们证明了类似的Goldblatt-Gesason定理和罚款的规范性定理类单调邻域框架下封闭的初等等价的余代数谓词逻辑。这里的初等等价可以分别相对化为单调、拟滤子、增广拟滤子、滤子或增广滤子邻域框架类。原来的，克里普克语义版本的定理如下作为一个特殊情况下，有关类的增强过滤器邻域框架。

2020-02-13math.LO

余代数逻辑的完备性-通过-规范性

Completeness-via-canonicity for coalgebraic logics

本论文旨在提供一套技术来产生具有任意秩公理的共代数逻辑的完备性结果。我们已经选择了调查的可能性，以推广什么可以说是最成功的方法之一，证明完整性的结果在“经典”模态逻辑，即完整性通过规范。这种技术特别适合于一个coalgebraic的推广，因为它的清洁和抽象的代数形式主义。

2015-10-30cs.LOmath.LO

萨尔奎斯特不可能世界理论

Sahlqvist theory for impossible worlds

我们将统一对应论推广到不可能世界的Kripke框架及其相关的正则模态逻辑。这些逻辑的模态联结不需要是正规的：只需要较弱的可加性和乘法性。在概念上，有人认为，它们缺乏必要性，使得规则模态逻辑比正常的模态逻辑更适合在形式化的认识和道义设置。从技术的角度来看，正则性被证明是非常自然的，足以处理代数正规性约翰逊式。事实上，加法性和乘法性是将琼森最初的规范性证明扩展到某些正则分配模态逻辑的完整萨尔奎斯特类的关键，自然地概括了分配模态逻辑。最有趣的是，加性和乘性也是原始（即正常）DML中约翰逊式正规性的关键。我们的贡献包括：在分配格命题基上定义了正则模态逻辑的Sahlqvist不等式，证明了它们遵循Jónsson策略的规范性，并将ALBA算法应用于两个非经典的正则模态逻辑的构造（分配格和直觉）的基础，证明适应ALBA是保证成功的语法定义的类，其中适当地包括Sahlqvist一个;最后，应用前面的结果，代替Kripke的证明，证明了Lemmon的认知逻辑E2-E5关于具有不可能世界的Kripke框架的初等类的强完备性。

2016-03-27math.LO

格基不动点逻辑的构造性正则性

Constructive canonicity for lattice-based fixed point logics

我们证明了两类$μ$ -不等式在正规格展开的构造性元理论中的算法规范性。这一结果同时推广了Conradie和Craig基于双直觉双模态语言的$μ$ -不等式的正则性，以及Conradie和Palmigiano归纳不等式的构造正则性（仅限于正常格展开以保持页数限制）。除了更大的一般性，这些股的统一平滑规范的$μ$ -公式和不等式的现有治疗。特别地，用于该结果的算法ALBA的规则具有与Conradie和Palmigiano的规则完全相同的公式，没有专门添加额外的规则来处理不动点绑定器。相反，不动点是由规则的应用上的某些限制来解释的，这些限制涉及与规则所应用的公式相关联的项函数的序理论性质。

2016-03-21math.LO

代数逻辑中的原子规范性与L_{ω, ω}模态片断中的省略类型

Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{ω, ω}

固定2<n<ω。设L_n表示限制于前n个变量的一阶逻辑。CA_n表示n维柱形代数类，当m>n时，Nr_PDMATHABMM（\subseteq CA_n）表示CA_m的n-纯约化类.本文证明了某些有限关系代数和有限CA_n的缺乏相对化完全表示的存在性意味着省略类型定理（OTT）对于L_n关于团保护语义（它是L_n的打包片段的等价形式）和多维模态逻辑S5^n是不成立的。利用彩虹结构和Monk-like代数，给出了几个这样的关系和柱形代数.为了证明簇S \Nr_n \CA_{n+3}的非原子正则性而构造的某些CA_n被用来证明当限制到L_n时，被看作是L_{ω, ω}的OTT的特殊情况的L_{ω, ω}的Vaught定理（VT）几乎处处失败（下面将定义一个概念）。VT对L_n处处失效（它比几乎处处失效更强）归结为：对每个n<m<ω，存在一个具有所谓m-1强模糊的有限关系代数R_m，但R_m没有m维关系基。讨论了L_n的其它模态片段和展开式（如L_n的保护片段、单峰逻辑的n-积（如K^n）和一阶可定义展开式）的VT。证明了任何多模态正则逻辑L，使得$K^n\subseteq L\subseteq S5^n$，L不能用正则方程公理化。特别地，L不是Sahlqvist。证明了L_n及其团保护片段的初等生成和双完备性。证明了L_n关于标准语义的正省略型定理。

2016-08-10math.LO

更多相关论文收起更多论文

不依赖分布的正模态逻辑

Distribution-Free Normal Modal Logics

本文研究了不依赖分布的正模态逻辑，通过统一的相对语义学方法证明了其规范性和完备性，并提出了新的直观模态逻辑的语义处理。

2024-12-20cs.LOmath.LO

关于一阶完全模态逻辑的Fine定理

Fine's Theorem on First-Order Complete Modal Logics

本文回顾Fine典范性定理的背景与影响，提出模态逻辑典范有效性的新刻画，明确其与一阶完全性的区别，指出模态代数典范框架构造与超幂构造不可交换。

2017-01-25math.LO

谓词拓扑逻辑的可代数化版本

Algebraisable versions of predicate topological logic

动机是这样的问题：哪些空间结构可以通过模态逻辑来表征，什么是空间逻辑，如何在模态逻辑中编码不同的几何关系，拓扑逻辑基于拓扑空间而不是Kripke框架提供了用于研究$\sf S4$模态的拓扑语义的汇合的框架。继Sgro的研究和Georgescu的代数研究之后，我们证明了谓词拓扑逻辑和Chang的模态逻辑的各种扩展的一个内插定理和一个省略类型定理。我们的证明是柱形代数分别使用内部算子和盒子的代数寻址展开。然后，我们像抽象代数逻辑一样，研究这两种逻辑的可代数扩展;获得有关其代数对应物的各个子类（这些子类是变种）的合并性质的大量结果。讨论了有限维拓扑柱形代数的原子正则性和完备表示等概念。我们的代数结果的逻辑后果仔细制定了张的谓词模态逻辑和有限版本的无限扩展，通过限制$n$变量，$n$有限的，被视为一个命题多维模态逻辑，和$n$产品的双峰，其框架的形式是$(U, U\times U, R)$其中$R$是一个前序，赋予对角常数。

2014-01-06math.LO

空间与时间的拓扑和紧柱形代数

Space and time via Topological and Tense cylindric algebras

设$α$为任意序数，$2<n<ω$。在被《数学学报》接受出版的\cite{3}中，我们简要地研究了用$α$多变量进行拓扑逻辑的代数逻辑、插值、合并和$α$多变量$\sf TopL_α$。这是一个续集\cite{3} ;第二部分模态柱形代数，在那里我们研究代数其他属性的$\sf TopL_α$。模态柱形代数是无限维的柱形代数，用一元模态扩展，从单峰逻辑$\sf L$（如$\sf K5$或$\sf S4$）继承其语义。使用代数逻辑的方法，我们研究符号$\sf TCA_α$中的拓扑（当$\sf L=S4$时）。研究了$\sf TopL_ω$和$\sf TenL_ω$的完备性和省略型$\sf OTT$ s，证明了局部有限的这类代数的几个表示性结果.此外，我们研究了原子规范性的概念，为${\sf TCA}_{n}$和${\sf TenL}_n$，一个众所周知的持久性属性模态逻辑，在$\sf OTT$的${\sf TopL}_n$和${\sf TeLCA}_n$，分别。研究了拓扑柱形代数的可表示性、省略类型、插值和复杂性问题（如不可判定性）.在本文的续集中，我们介绍了时间cylindric代数，并指出如何合并代数的空间（拓扑代数）和代数的时间（时间代数）形成拓扑-时间柱形代数，使自己包含时空gemetries，在一个纯粹的代数方式。

2020-05-18math.LO

多模态和量词逻辑省略类型的通用方法

A universal approach to Omitting types for various multimodal and quantifier logics

我们打算研究各种各样的量词逻辑（也可以被看作是多模态逻辑识别存在量词与模态句法和语义）的“省略类型”的元逻辑属性，展示其抽象代数方面的本质，即原子规范性，最后反映了一个众所周知的持久性属性在模态逻辑。在“通用逻辑”的精神，与此代数抽象在手，省略类型定理OTT将研究各种约简扩展和变体（可能允许公式的无限长度）的一阶逻辑。我们的关系代数是代数的，处理各种关系代数的（非）原子一致性。在我们的调查过程中，将提出消极和积极的结果。例如，我们表明，对于任何可数理论$L_n$理论$T$有量词消除$< 2^ω$许多非主要的完整类型可以省略。此外，极大性（完整性）条件，如果消除，导致一个独立的陈述从$\sf ZFC$隐含的马丁公理。$\sf OTT$的方法为其他algebraizable（在经典的Blok-Pigozzi意义上）reformulations或/和版本的$L_{ωω}$，他们被证明持有一些和失败的其他。我们使用基本的图论，有限组合数学，组合博弈论编排的代数逻辑。

2019-12-14math.LO

从整齐嵌入到彩虹结构的代数逻辑简史

A brief history of algebraic logic from neat embeddings to rainbow constructions

我们需要一个漫长的神奇之旅在代数逻辑，从经典的结果整齐嵌入由于亨金，蒙克和塔斯基，所有的方式最近的结果在代数逻辑使用所谓的彩虹结构发明的赫希和霍金森。突出与图论，模型论和有限组合学的连接，这篇文章渴望目前的广泛兴趣的方式，是有希望获得广大观众的主题。这篇论文具有调查性质，但它包含了对旧方法的新方法。我们希望使我们的调查相当全面，至少在塔斯基代数逻辑，具体而言，理论的柱形代数，是有关的。其他主题，如抽象代数逻辑，模态逻辑和所谓的（中央）有限性问题，在代数逻辑将处理;最后在一些细节。彩虹结构是用来解决的问题，解决类圆柱状代数组成的代数具有整洁的嵌入属性。所得结果推广了Hirsch和Hodkinson关于有限维可表示柱形代数类$>2$的非原子正则性、非一阶可定义性和非有限公理化性的开创性结果.我们证明了这些结果对于具有相对化{ \it集团保护}表示柱形代数仍然有效，这些表示是{ \it仅局部}良好行为的。这篇论文是写的方式，使它访问非-专家好奇的艺术状态塔斯基代数逻辑。达到目前的研究的边界，本文也希望是翔实的从业者，甚至更多，刺激她/他进行进一步的研究主流代数逻辑。

2015-08-21math.LO