Stit logic of justification announcements: a completeness result
我们提出了一个完整性的结果，结合了STIT逻辑和理由逻辑，以表示证明活动的代理人的逻辑系统。这个逻辑是解释在早期出版物中介绍的语义。我们定义了一个希尔伯特式的公理系统，这个逻辑，并表明，这个系统是强完整的相对于预期的语义。
2017-07-10 math.LO
Completeness of logics with the transitive closure modality and related logics
给出了具有传递闭包模态的模态逻辑的Kripke完备性的一个充分条件。更确切地说，我们表明，如果一个逻辑承认我们所谓的可定义过滤（ADF），那么这样的扩展的逻辑是完整的，此外，有有限的模型属性，并再次ADF。这个论点可以迭代，作为应用，我们得到的有限模型性质的PDL样扩展的逻辑，ADF。
2020-11-04 math.LO
Neighbourhood completeness for quantified pretransitive modal logics
我们考虑量化预传递Horn模态逻辑。我们知道，这样的逻辑是完全的谓词Kripke框架与扩展域。在本文中，我们证明了它们也是完备的关于邻域框架与常数域。
2021-10-29 math.LO
Completeness theorems for modal logic in second-order arithmetic
本文在二阶算术框架下研究模态命题逻辑完备性定理的逻辑强度，证明弱完备性定理在 $\mathrm{RCA}_0$ 中可证，且强完备性定理分别等价于 $\mathrm{ACA}_0$ 和 $\mathrm{WKL}_0$。
2025-03-03 math.LO
Provability Logic and the Completeness Principle
在本文中，我们研究证明自己的完备性的算术直觉理论的可证性逻辑。我们证明了一个完备性定理的理论配备了两个证明谓词$\Box$和$\triangle$证明方案$A\to\triangle A$和$\Box\triangle S\to\Box S$为$S\inΣ_1$。利用这个定理，我们确定了一些直觉理论的快速可证性逻辑。此外，我们重新证明了M. Ardeshir和S. Mojtaba Mojtahedi确定Heyting算术的$Σ_1$可证明性逻辑。
2018-06-05 math.LO
Explicit justification stit logic: a completeness result
我们认为，在早期的出版物中介绍的基本理由STIT逻辑的明确片段。我们定义了一个希尔伯特式的公理系统，这个逻辑，并表明，这个系统是强完整的相对于预期的语义。
2017-09-19 math.LO
Structural completeness in many-valued logics with rational constants
逻辑RL、RP和RG是通过将Lukasiewicz逻辑L、乘积逻辑P和Gödel-Dummett逻辑G用有理常数展开而得到的。我们研究了这三种扩张的扩张格和结构完备性，得到了与L、P和G中已知情况相反的结果。也就是说，RL在遗传上是结构完备的。RP是代数化的各种有理乘积代数，我们证明是Q-泛。我们提供了一个基础的RP中的可接受的规则，显示其可判定性，并表征被动的RP扩展的结构完备性。此外，结构完备性，遗传结构完备性，主动结构完备性一致的RP的扩展，这也是RG的扩展的情况下，反过来被动结构完备性的特点是具有联合嵌入属性的等价代数语义。对于RG的非平凡公理扩展，我们提供了一个基础的容许规则。我们留下的问题开放是否有理哥德尔代数的品种是Q-泛。
2021-08-06 math.LO
On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness
在[Mon11]中，研究了基于Monoidal t-范数的逻辑（[EG01]）的公理扩张的单链完备性。另一方面，在[GJKO 07，第5章]中研究了许多逻辑和代数性质（如Halldén完备性，变量分离性质，合并性质等），在子结构逻辑的上下文中。本文的目的是双重的：首先，我们将专门研究的性质[GJKO 07，第5章]从子结构逻辑的情况下，MTL的扩展之一，通过获得一些一般的特征。此外，我们将证明其中一些性质确实与[Mon11]中开发的主题严格相关。这将有助于对[Mon11]的一些开放问题有更好的直觉。
2012-05-21 math.LO
Modal completeness of sublogics of the interpretability logic $\mathbf{IL}$
研究了可解释性逻辑$\mathbf{IL}$的几个子逻辑的模态完备性和模态不完备性。引入了子逻辑$\mathbf{IL}^-$，证明了$\mathbf{IL}^-$相对于Visser引入的Veltman预结构是可靠和完备的.此外，我们证明了$\mathbf{IL}^-$和$\mathbf{IL}$之间的12个逻辑关于Veltman预结构的模态完备性。另一方面，我们证明了$\mathbf{IL}$的八个自然子逻辑是模态不完备的。最后，我们证明了这些不完备逻辑是关于广义Veltman预结构完备的。作为这些研究的结果，我们得到本文所研究的20个逻辑都是可判定的。
2020-11-23 math.LO
A proof of completeness for continuous first-order logic
这篇文章的主要目的是表明，一个特定的自然公理集产生连续一阶逻辑的完备性结果。特别地，我们证明了在连续一阶逻辑中，一组公式是（完全）可满足的当（且仅当）它是相容的。从这个结果可以得出，连续一阶逻辑也满足强完备性的\emph{approximated}形式，其中$Σ\vDashφ$（当且）仅当对所有$n<ω$有$Σ\vdashφ\dotminus 2^{-n}$。这种强完备性的近似形式断言，如果$Σ\vDashφ$，那么来自$Σ$的证明是有限的，可以提供$φ$的真理的任意更好的近似。
2009-03-24 math.LO
Pavelka-style completeness in expansions of Łukasiewicz logic
本文给出了Pavelka型完备性对于由新的连接词和有理常数构成的Rukasiewicz逻辑的某些自然扩展的有效性的代数条件。这种代数方法是基于实段$[0, 1]$上的标准MV-代数是内射MV-代数的事实。特别是与MV-代数与产品和可分MV-代数的逻辑被认为是。
2008-06-30 math.LO
Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
针对 Baaz 和 Metcalfe 的 GŁ∀ 近似完备性仅适用于前束公式的局限，本文将原证明推广至超矢列，证明其对任意一阶 Łukasiewicz 公式均近似完备。
2024-12-06 math.LO
A proof for completeness of Łukasiewicz logic
本研究提出一种基于极大一致扩张的Hilbert式证明新方法，给出了1930年Łukasiewicz与Tarski提出的无穷值命题Łukasiewicz逻辑的完备性证明，并举例说明其极大扩张的特性。
2023-08-28 math.LO
Containment logics: algebraic completeness and axiomatization
本文研究了逻辑$\vdash$的包含伴随.这由满足$\vdash$的所有推论的结果关系$\vdash^{r}$组成，其中结论的变量是\emph{contained}到前提（的集合）的变量。按照我们以前的工作逻辑的左变量包含，我们表明，不同的推广的Pagonka和建设，适应代数逻辑矩阵，使我们能够提供一个基于矩阵的语义包容逻辑。特别是，我们提供了一个适当的完整性定理的一个广泛的家庭的包容逻辑，我们展示了如何产生一个完整的希尔伯特式公理化。
2020-05-04 math.LO
Structural completeness in propositional logics of dependence
本文证明了三种主要的命题依赖逻辑（包括命题依赖逻辑和查询逻辑），它们都不是结构的，但它们关于一类替换是结构完备的，在这类替换下逻辑是闭的。我们得到了类似的结果稳定的替代，一些著名的中间逻辑，这是密切相关的中间理论，是密切相关的探究逻辑的负变体。
2015-09-11 math.LO
Completeness of the Gödel-Löb provability logic for the filter sequence of normal measures
假设存在合适的大基数，我们证明了可证性逻辑$\mathbf{GL}$关于正规测度的滤子序列是完备的。这个结果回答了Andreas Blass在1990年提出的一个问题，以及Beklemishev和Joosten提出的一个相关问题。
2023-02-23 math.LO
A Topological Completeness Theorem for Transfinite Provability Logic
我们证明了一个拓扑完备性定理的模态逻辑GLP包含运营商$\langleλ\rangle$为$λ\in$ Ord旨在捕捉逐步加强概念的数学理论的一致性。我们表明，给定一个足够大的秩的分散空间$X$，任何句子$ϕ$符合GLP可以满足在一个多拓扑空间的基础上的多个Icard拓扑在$X$，对应于多个模态出现在$ϕ$。
2019-05-06 math.LO
Completeness results for many-valued \Lukasiewicz modal systems and relational semantics
本文研究了在\Lukasiewicz多值逻辑中增加模态的问题，以获得Kripke语义的完备性结果.定义了一类模态多值逻辑及其相应的Kripke模型和模态多值代数。完整性的结果被认为是通过一个典型的模型的建设。完备性得到模态有限值逻辑，但也为模态多值系统与无穷演绎规则。我们引入了两类框架的有限值逻辑，并表明他们定义了两个不同的类Kripke完全逻辑。
2006-12-19 math.LO
Strong standard completeness theorems for S5-modal Lukasiewicz logics
本文研究基于Łukasiewicz t-范数的逻辑的S5模态扩张，通过构造有穷命题演算并引入无穷规则，借助monadic MV-代数的函数表示与有限嵌入性质，证明了有限强完备性与强完备性定理，并推广到有界论域模型。
2024-08-08 math.LO
Yet another proof of Goedel's completeness theorem for first-order classical logic
给出了一阶经典逻辑关于直觉序列的Genzten演绎规则的极小集合（特别是缺失的截规则）的完备性的Henkin式证明.可满足性定理坚持对推导规则的保留，认为它需要比完备性定理更弱的假设，缺少的要求恰好是规则~ p --> p，这从经典的角度暗示了直觉主义的动机。一个裸露的治疗标准，基本的一阶语法不知何故更多的代数味道比平常也给。
2009-10-11 math.LO
Closure Semantics for Weak Modal Logics: Completeness and Representations
本文为弱模态逻辑引入闭包语义，证明其可靠性与强完备性，并给出与邻域、FMT及克里普克语义间的保真翻译。
2026-10-14 math.LO
Completeness proof of functional logic, a formalism with variable-binding nonlogical symbols
我们知道一阶逻辑的量词的扩展“有不可数的许多.“，“大多数...新的公理和适当的语义相关的是操作，如“x的集合，这样......“，希尔伯特的$ε$ -算子，丘奇的$λ$ -符号，最小化和类似的，它们也将变量绑定在某个表达式中，然而其含义部分地通过翻译成一阶逻辑的语言来定义。本文提出了一个推广，包括任意变量绑定符号作为非逻辑运算。公理扩展由新的等式公理确定;模型将泛函分配给变量绑定符号。证明了这个所谓的“一阶函数逻辑”系统的完备性。
1995-03-13 math.LO
Arithmetical completeness for some extensions of the pure logic of necessitation
本文研究了某些纯必然逻辑扩展的算术完备性，证明了这些扩展作为可证明性逻辑的性质。
2025-11-20 math.LO
Structural and universal completeness in algebra and logic
本文从代数与逻辑视角研究结构完备性与普遍完备性，给出拟簇的新代数刻画，并应用于有界格和子结构逻辑，完整刻画了MTL-代数的被动结构完备簇。
2023-09-25 math.LO
Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus
Universidad Nacional del Sur（南方大学）；Universidad Nacional de San Juan（圣胡安国立大学）
本文从代数和证明论角度研究最小时态逻辑K_t，引入保真度逻辑及相继式演算，并通过Lindenbaum--Tarski构造改编，为Kashima演算建立了代数完备性定理，连接其嵌套相继式表述与时态布尔代数语义。
2026-10-02 math.LO
Closure algebras of depth two with extremal relations: Their frames, logics, and structural completeness
本文研究典范关系为两层且层级限制为恒等或全关系的有限闭包代数所生成的簇，刻画了相应深度二框架的逻辑及其结构完备性。
2023-09-19 math.LO
Strong completeness of a first-order temporal logic for real time
本文研究结合命题公理化与带等词一阶逻辑的实数时序逻辑，提出“可采纳”语义并证明其强完备性，同时指出整数或分散线性序下不存在递归公理化。
2023-10-30 math.LO
Strong completeness for the predicate logic of the continuous t-norms
本文扩展Hájek基于BL-链的一阶BL逻辑公理系统，通过加入平方量词公理和一条无穷推理规则，证明其对连续t-模语义的强完全性。
2024-08-08 math.LO
Model-completeness for a dense linear order in weak monadic second order logic
我们提出了一个简化的和（希望）访问的模型完全性证明的弱一元二阶版本的稠密的线性秩序的左端点，但没有右端点在一个特定的有限签名。我们还展示了如何可以用来建立模型完全性的有限工会的一个密集的线性顺序，即在一个（密集有序）O-最小结构的封闭可定义子集的晶格的闭区间的网格，在一个特别简单的签名（包括二进制函数的工会和交叉连同两个常数符号和四个一元函数符号）。
2022-09-14 math.LO
Strong completeness of the logic J
Institute of Discrete Mathematics and Geometry, Vienna University of Technology（维也纳工业大学离散数学与几何研究所）
该研究证明多模态逻辑J相对于J-花束是强完备的，进而得到可证性逻辑GLP的完备性结果，同时通过反例说明GLP相对于Beklemishev-Gabelaia空间不具备强完备性。
2026-08-10 math.LO
Post Completeness in Conditional Logic
Institute of Computer Science Czech Academy of Sciences（捷克科学院计算机科学研究所）；The Saul Kripke Center and Philosophy Program The Graduate Center, CUNY（纽约市立大学研究生中心苏尔·克里普克中心与哲学项目）
本文系统研究某些基本条件逻辑的波斯特完全扩张，确定了正则和正规的此类逻辑，证明相关嵌入定理类似结论，还表明某些基本条件逻辑有不可数多个扩张，其在条件规则下闭包放宽，对条件逻辑格结构及多模态逻辑有启示。
2026-07-24 math.LO
Structural Completeness in bi-IPC
本文证明除经典逻辑外，双直觉主义逻辑的所有扩张均非结构完备或被动结构完备，并直接证明若干简单系统的主动结构完备性。
2025-08-05 math.LO
Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity
普拉维茨指出，证明理论上有效的逻辑是直觉主义逻辑。最近的工作证明理论的有效性已经推翻了这一点。事实上，它已经表明，证明理论的有效性甚至不是封闭的替代。在本文中，我们对Prawitz（1973）中发现并由Schroeder-Heister（2006）完善的证明理论有效性的定义进行了微小的修改。我们将把这个新概念称为广义证明理论有效性，并证明广义证明理论有效性的逻辑是直觉主义逻辑。
2022-11-22 math.LO
Completeness-via-canonicity for coalgebraic logics
本论文旨在提供一套技术来产生具有任意秩公理的共代数逻辑的完备性结果。我们已经选择了调查的可能性，以推广什么可以说是最成功的方法之一，证明完整性的结果在“经典”模态逻辑，即完整性通过规范。这种技术特别适合于一个coalgebraic的推广，因为它的清洁和抽象的代数形式主义。
2015-10-30 cs.LO math.LO
Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras
研究了Heyting多进代数的各种约简的表示定理。超合并证明了几个（自然约简）和我们的结果进行了比较，在经典代数逻辑处理圆柱和polyadic（布尔代数）的有限性问题。我们还证明了几个新的整齐嵌入定理，并得到了基于（广义）Kripke语义的可表示代数类与具有整齐嵌入性质的代数类，即那些代数是具有$ω$额外维数的代数的次整齐约化.
2013-04-04 math.LO
Interpretability logics and generalized Veltman semantics
我们得到了可解释逻辑ILP_0和ILR的模态完备性。广义Veltman语义我们的证明是基于智能（全）标签的概念。我们还提供了较短的完整性w.r.t.证明。许多经典的可解释性逻辑的广义语义。我们得到了可判定性和有限模型性质w.r.t. ILP_0和ILR的广义语义。最后，我们开发了一个建设，可能是有用的证明ILW W W的扩展的完整性。在未来的广义语义，并证明其使用ILW* = ILM_0W。
2019-07-08 math.LO
Modal Matters in Interpretability Logics
这篇论文是2008年发表的关于可解释性逻辑中模态方法及其应用的三篇相关论文中的第一篇。在这第一个文件奠定了基础，为以后的结果。这些基础包括一个彻底的处理的施工方法，以获得模态模型。这种构造方法被用来重新证明一些已知的结果在该地区的可解释性，如模态完备性的逻辑${\textbf{IL}}$。其次，应用该方法得到了新的结果：逻辑${\textbf{IL}}{\sf M_0}$的模态完备性和${\textbf{IL}}({\sf W^*})$的模态完备性。
2020-04-15 math.LO
Strong completeness of modal logics over 0-dimensional metric spaces
我们证明了一些模态逻辑的强完备性结果与普遍的模态，关于他们的拓扑语义在0维稠密的度量空间。我们还使用紧性的失败来证明，对于某些语言和空间，没有标准的模态演绎系统是强完备的。
2019-11-28 cs.LO math.LO
On structural completeness vs almost structural completeness problem: A discriminator varieties case study
我们研究以下问题：确定哪些几乎结构完备拟簇是结构完备的。我们提出了一个一般的解决方案，这个问题，然后在半简单的情况下的解决方案。作为一个结果，我们得到了一个结构完整的类簇的特征。逻辑中一个有趣的推论如下：设$L$是语言中一个相容的命题逻辑/演绎系统，其中包含用于真的公式，这是一个定理，而假的不是一个定理。还假定$L$具有由一个簇给出的适当语义。则$L$是结构完备的当且仅当它是极大的。所有这样的逻辑/演绎系统在结构上几乎是完整的。
2014-08-20 math.LO
Assuring and critical labels for relations between maximal consistent sets for interpretability logics
关键后继者的概念[dJV90]是可解释性逻辑中几乎所有模态完备性证明的核心。在本文中，我们将使用另一种概念，即保证继承人。正如我们将看到的，这将使更简洁地制定完整性证明，无论是关于普通和广义Veltman语义。由于它们有趣的理论性质，我们将花一些空间来研究一种特殊的保证标签，即所谓的全标签和极大标签。在对可确知性作一般处理之后，我们将应用它来获得某些完备性结果。也就是说，我们给出了ILW w.r.t.普通语义和ILP w.r.t.广义语义学
2022-02-27 math.LO
The Real truth
我们研究具有无界正负真假值的实值命题逻辑，我们称之为R值逻辑。这种逻辑稍微扩展了连续命题逻辑，而连续命题逻辑又建立在卢卡西维茨多值逻辑的基础上。在给出了R值逻辑的推理机制和语义之后，我们证明了有限理论的一个完备性定理。然后，我们定义酉和阿基米德理论，按照Riesz空间的理论。在单位设置，我们证明了一致性和可满足性的等价性和近似的完整性定理类似于一个连续命题逻辑。最后，在酉理论中，我们把阿基米德理论描述为强完备性成立的理论。我们还指出，R值逻辑提供了替代演算Lukasiewicz和命题连续逻辑。
2014-12-14 math.LO
Completeness of Pledger's modal logics of one-sorted projective and elliptic planes
Ken Plledger设计了一种单排序的方法来处理平面几何的关联关系，使用的结构也支持命题模态逻辑的模型。他介绍了一个模态系统12 g，这是有效的在一个排序的射影平面，证明了它有许多非等价的模态，并确定了所有可能的模态模式的扩展。这些扩展8f中的一个在椭圆平面中有效。这些结果发表在他的博士论文[14]中，该论文已在Australasian Journal of Logic，第18卷，第4期重印。https://doi.org/10.26686/ajl.v18i4.6831这里我们证明了12g和8f在它们所期望的一种几何解释中是强完备的，并且具有有限模型性质。证明应用标准技术的模态逻辑（规范模型，过滤）连同一步一步的程序介绍了由Yde Venema用于构建两个排序的射影平面。
2021-05-24 math.LO
Strong Completeness of Provability Logic for Uncountable Languages
School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究所数学学院）；Institut für diskrete Mathematik und Geometrie, TU Wien（维也纳工业大学离散数学与几何研究所）
本文利用Erdős-Rado定理证明了对于特定基数的模态语言，GL逻辑在广义Icard拓扑下不满足强完备性，并引入了两种拓扑空间类以证明GL和GL.3在特定语言下满足强完备性。
2026-05-13 math.LO
Modal Logic With Non-deterministic Semantics: Part I - Propositional Case
1988年，Ivlev提出了模态逻辑的四值非确定性语义，其中的实伦理T公理成立。不幸的是，没有证明完整性。在以前的工作中，我们证明了一些Ivlev系统的完备性，并扩展了他的层次，提出了较弱的六值系统，其中T公理被替换为道义D公理。在这里，我们排除了这两个公理，提出了更弱的八值系统。此外，我们证明了这些新系统的完备性。人们自然会问，是否有可能对所有这些系统用有限的普通（确定性）逻辑矩阵进行表征。我们将证明有限确定性矩阵不刻画它们中的任何一个。
2018-08-29 math.LO
On the Blok-Esakia theorem for universal classes
Blok-Esakia定理指出，存在从中间逻辑格到Grzegorczyk模态逻辑的正规扩张格的同构。Emil Jeábek作为典范规则的一个应用得到了多结论推论关系的推广。我们表明，Jeanábek的结果如下已经从布洛克的代数证明。我们还证明了强结构完备性和强泛完备性的性质被保持并反映在上述同构中。这些性质分别与单结论推论关系的结构完备性和泛完备性相一致，特别是对于逻辑。
2018-10-22 math.LO
Topological Completeness for Higher-Order Logic
利用拓扑理论中的最新结果，证明了两个高阶逻辑系统关于拓扑空间上的层模型-所谓的"拓扑语义“是完备的。第一个系统是经典高阶逻辑，具有高类型的关系量化;第二个系统是其谓词片段，具有类型之间函数的量化，但不具有任意关系。第二个定理适用于直觉逻辑和经典逻辑。
1997-07-24 math.CT math.LO
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version)
我们研究各种配方的完整性一阶逻辑措辞建设性类型论和机械化的Coq证明助手。具体而言，我们研究的经典和直觉主义的自然演绎和微积分的变种模型论，代数和博弈论语义的完整性。作为完整性方面的标准模型理论语义的塔斯基和Kripke是不容易建设性的，我们分析连接的完整性定理，马尔可夫原理和弱柯尼希引理，并讨论非标准的语义承认无故障的完整性。我们贡献了一个可重用的Coq库一阶逻辑包含本文所涉及的所有结果。
2021-12-14 cs.LO math.LO
Simpler completeness proofs for modal logics with intersection
有一个显着的兴趣，扩大各种模态逻辑与交叉，最突出的例子是知识和doxastic逻辑与分布式知识。这种逻辑的完备性证明往往是复杂的，特别是在标准认知逻辑中的模型类，如S5，主要是由于标准模态逻辑中模态的交集的不可定义性。在[8]中概述了S5情况的标准证明方法，后来在[13]中更详细地解释，使用“解开折叠方法”的情况来实现树状模型以处理不可定义性问题。然而，由于细节水平和对S5的依赖，这种方法不容易适应其他逻辑。在本文中，我们提出了一个更简单的证明技术，通过建立一个树状规范模型直接，这避免了复杂的过程中解开和折叠。我们证明了技术，通过显示正常模态逻辑K，D，T，B，S4和S5扩展与交叉模态的完整性。此外，这些树型规范模型是兼容的Fischer-Ladner风格的闭包，我们结合的方法来显示所提到的逻辑的完整性进一步扩展与传递关闭的联合模态PDL或认知逻辑。其中一些完备性结果是新的。
2020-04-05 cs.LO math.LO
Topological completeness of logics above S4
McKinsey和Tarski [28]的一个著名结果是：S4是任何自密可分度量空间上的闭包代数X+的逻辑。特别地，S4是实数R、有理数Q或康托空间C上的闭包代数的逻辑。根据[5]，S4以上的每个具有有限模型性质的逻辑都是Q+的子代数的逻辑，也是C+的子代数的逻辑。这对R不再成立，并且[5]的主要结果指出，S4以上的每个具有有限模型性质的连通逻辑都是闭包代数R+的子代数的逻辑。在本文中，我们将这些结果推广到所有的逻辑S4以上。也就是说，对于正规模态逻辑L，我们证明了下列条件是等价的：（i）L在S4之上，（ii）L是Q+的子代数的逻辑，（iii）L是C+的子代数的逻辑.在S4上引入了良连通逻辑的概念，并证明了以下条件是等价的：（i）L是良连通逻辑，（ii）L是无限二叉树上闭包代数T_2^+的子代数的逻辑，（iii）L是极限为Scott拓扑的无限二叉树上闭包代数L_2^+的子代数的逻辑.最后证明了S4以上的逻辑L是连通的当且仅当L是R+的一个子代数的逻辑，并将结果推广到中间逻辑的情形。
2013-11-09 math.LO
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
双直觉稳定时态逻辑（英语：Bi-Intuitionistic Stable Tense Logics）是一种具有克里普克语义的时态逻辑，其中框架中的世界配备有前序以及相对于该前序“稳定”的可达性关系。BIST逻辑是在超图的语义背景下产生的逻辑BiSKt的扩展，因为预序的特殊情况可以表示超图的关联结构。在本文中，我们提供了，第一次，一个希尔伯特式公理化的BISKt和证明强完备性的BiSKt。我们继续证明强完备性的一类BIST逻辑得到的BiSKt由一定形式的公式扩展。此外，我们还证明了一类BIST逻辑的有限模型性质和可判定性。
2017-03-07 cs.LO math.LO
Completeness of coalition logics with seriality, independence of agents, or determinism
本文针对具有序列性、智能体独立性或确定性假设的联盟逻辑，提出了一种统一的完备性证明方法。
2025-09-11 cs.GT math.LO
Importing soundness and completeness in modal logics
Scuola Normale Superiore di Pisa（比萨高等师范学院）
提出从表达能力更强的模态语言向较弱语言传递可靠性与完全性的通用策略，统一了多种算子可定义性概念，并通过语义不敏感性和保真翻译实现。
2026-06-24 cs.LO math.LO
Completeness and Incompleteness for Expanding Gödel-Löb Logics
School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究所数学学院）；Department of Philosophy, University of Barcelona（巴塞罗那大学哲学系）；Centre de Recerca Matemàtica（数学研究中心）
研究垂直分量为GL的模态逻辑扩展积的完备性，发现水平分量为K4或GL时标准公理化完备，为Grz或K4.3与Grz.3之间时不完备。
2026-06-19 math.LO
On Intermediate Justification Logics
我们研究抽象的中间证明逻辑，即任意的中间命题逻辑扩展的（经典）证明逻辑的特定公理的子集。对于这些，我们介绍了各种语义相结合，无论是海廷代数或Kripke框架与通常的语义机器所使用的Mkrtychev的，拟合的或莱曼的和Studer的模型为经典的理由逻辑。我们证明了统一的完整性定理，所有中间的理由逻辑和相应的语义使用相应的命题完整性定理的基础中间逻辑。进一步，通过对Fitting方法的改进，我们证明了一大类中间证明逻辑和伴随的中间模态逻辑的统一实现定理。
2020-08-16 math.LO
