The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom
本文利用邻域语义学证明了具有传递性公理的一些非正规模态逻辑是强完备的且具有有限模型性质，延续了Surendonk的工作。
2023-05-15 math.LO
Modal Dependence Logics: Axiomatizations and Model-theoretic Properties
模态依赖逻辑是基于团队语义定义的模态逻辑，具有向下封闭性。在本文中，我们介绍了健全的和完整的演绎系统的主要模态依赖逻辑，特别是那些在其语言中的直觉连接词。我们还建立了一个具体的团队语义和单世界语义之间的联系，并表明，模态依赖逻辑可以解释为直觉模态逻辑的变种。
2017-06-03 math.LO
Maximality Principles in Modal Logic and the Axiom of Choice
本文研究模态逻辑中Fine与Esakia极大性原理的集合论强度，证明其强形式等价于选择公理，弱形式等价于布尔素理想定理。
2024-12-18 math.LO
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
本文研究三类扩展布尔相干逻辑，引入否定与去模态化封闭性质及公理模式，构建希尔伯特演算并证明可靠性、完全性和可判定性。
2024-03-19 math.LO
Ł-Axiomatizability in intermediate and normal modal logics
一个公式集$F$相对于一个给定的逻辑类是完备的，如果这个类中的每个逻辑都可以用$F$中的公式公理化。一个公式集$F$相对于一个给定的逻辑类是完全的，如果这个类的每个逻辑都可以用来自$F$的公式来公理化，也就是说，这些逻辑中的每一个都可以由一个$Ł$ -演绎系统来定义，该系统具有来自$F$的公理和反公理以及推理规则肯定前件、否定前件、替换和反向替换.证明了相对于$\Ext\Int$（或$\Ext\KF$）的每一个完备公式集都是n-完备的.特别地，来自$\Ext\Int$（或$\Ext\KF$）的每一个逻辑都可以用Zakharyaschev的规范公式来进行公理化。
2014-07-22 math.LO
Intuitionistic modal logic based on neighborhood semantics without superset axiom
本文研究了用邻域结构语义定义的命题直觉模态逻辑系统。我们讨论了这些框架上施加的各种限制，但我们不变的方法是放弃超集公理。这样的假设允许我们考虑特定的模态$Δ, \nabla$和新的函子$\rightsquigarrow$取决于最大邻域的概念。我们展示了如何将我们的模型视为双关系模型。我们证明了所提出的公理化的可靠性和完备性的典范模型。此外，我们还证明了有限模型的性质。然后，我们描述了有界态射，行为等价，互模拟和n-互模拟的性质。最后，我们讨论了进一步的研究（例如一些有趣的经典案例和特定的拓扑问题）。
2018-01-17 math.LO
Some modal and temporal translations of generalized basic logic
我们介绍了一个家庭的模态扩展的Mukasiewicz逻辑，旨在适应模态翻译的广义基本逻辑（制定与交换，弱化，和假）。我们进一步展示代数语义在这个家庭中的每个逻辑，特别是显示，所有这些都是代数化的意义上的Blok和Pigozzi。利用这个代数化的结果和相关品种的同余分析，我们建立了每一个引进的模态dukasiewicz逻辑有一个局部演绎分离定理。利用Jipsen和Montagna的偏序集积构造方法，我们给出了广义基本逻辑的两种具有交换、弱化和虚假的翻译，其翻译风格类似于著名的Gödel-McKinsey-Tarski翻译。第一个解释广义基本逻辑在模态的Mukasiewicz逻辑在经典的模态逻辑S4的精神，而第二个解释广义基本逻辑在后者的时间变体。
2021-06-10 cs.LO math.LO
Modal weak Kleene logics: axiomatizations and relational semantics
本文通过一元模态算子扩展外部弱克莱恩逻辑，提出两个系统并提供完备可判定的希尔伯特式公理化及三值可能世界语义，证明PWKe可代数化，并给出标准扩展的完备性结果。
2024-07-22 math.LO
From contact relations to modal operators, and back
布尔接触代数的一个标准公理是，如果区域x与y和z的连接相接触，则x至少与两个区域中的一个接触。我们的目的是考察这个公理的一个更强的版本，根据这个公理，如果x与某个区域族S的上确界接触，那么S中有一个y与x接触。研究了在完备代数中可定义的模态可能性算子，证明了满足该公理的完备代数类与模态KTB-代数类密切相关.我们还证明了在完全可拓接触代数类中，公理等价于这样的陈述：每个区域是孤立的。最后，我们提出了一个解释的模态算子类的所谓的决议接触代数。
2022-11-08 math.LO
On neighborhood product of some Horn axiomatizable logics
我们考虑邻域框架乘积的模态逻辑。定义模态逻辑的n-积为相应逻辑的邻域框架的所有积的逻辑，并求出任意两个预传递Horn可公理化逻辑的n-积。作为推论，我们发现了某些拓扑空间的拓扑空间乘积的d-逻辑。
2016-09-11 math.LO
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
我们关心的是模态和代数逻辑的公理化问题，对应于各种片段的两个变量的一阶逻辑计数量词。特别是，我们认为模态产品与Diff，命题单峰逻辑的差异运营商。我们证明了二维乘积逻辑Diff x Diff是不可公理化的，但可以被无穷多个Sahlqvist公理公理化.我们还表明，它的“平方”版本（模态对应的替代和平等免费片段的两个变量的一阶逻辑计数为2）是非非线性axiomatisable在Diff x Diff，但可以通过添加无穷多个Sahlqvist公理公理。这些是第一个例子的产品的axiomatisable模态逻辑是不是axiomatisable，但axiomatisable由明确的无限套规范公理。
2020-01-28 cs.LO math.LO
Modal Logic With Non-deterministic Semantics: Part I - Propositional Case
1988年，Ivlev提出了模态逻辑的四值非确定性语义，其中的实伦理T公理成立。不幸的是，没有证明完整性。在以前的工作中，我们证明了一些Ivlev系统的完备性，并扩展了他的层次，提出了较弱的六值系统，其中T公理被替换为道义D公理。在这里，我们排除了这两个公理，提出了更弱的八值系统。此外，我们证明了这些新系统的完备性。人们自然会问，是否有可能对所有这些系统用有限的普通（确定性）逻辑矩阵进行表征。我们将证明有限确定性矩阵不刻画它们中的任何一个。
2018-08-29 math.LO
Modal Logics of Some Hereditarily Irresolvable Spaces
该研究引入遗传k-不可解空间概念，为K4$\u2102_n$等模态逻辑建立拓扑语义，刻画了不同空间类下的逻辑扩展，并给出K4M的拓扑语义解释。
2020-09-30 math.LO
A Characterization of Non-Iterative Normal Modal Logics
非迭代正规模态逻辑由模态度为1的公理定义。本文利用规范型计算确定了K的所有可能的非迭代正规模态逻辑、单峰命题扩张的集合。为了刻画它们，我们构建了这样的逻辑的完整集合（格），并提供了它们的公理和语义的通用规范。
2021-03-25 math.LO
Superamalgamation for modal lattices via non-distributive dualities
Institute for Logic, Language and Computation, Universiteit van Amsterdam（逻辑、语言与计算研究所，阿姆斯特丹大学）；Department of Mathematics, Université du Luxembourg（数学系，卢森堡大学）
本文通过非分配对偶性证明模态格的超拼接性质，并由此得出弱正模态逻辑具有Craig插值性质，同时扩展到其他弱正模态逻辑。
2026-03-16 math.LO
A dichotomy for some elementarily generated modal logics
本文考虑由$\forall x_0 \exists x_1 \dots \exists x_n \bigwedge x_i R_λx_j$形式的一阶公式定义的初等类的正规模态逻辑。我们证明了这些逻辑的许多性质，如有限axiomatisability，elementarity，axiomatisability由一组典型的公式或由一个单一的广义Sahlqvist公式，连同初始公式的模态可定义性，要么同时举行或同时不举行。
2015-02-27 math.LO
A modal logic amalgam of classical and intuitionistic propositional logic
由哥德尔在1932年提出并由麦肯锡和塔斯基在1948年证明的一个著名的结果是：$φ$是直觉命题逻辑IPC的一个定理当且仅当它的哥德尔翻译$φ'$是模态逻辑S4的一个定理。在本文中，我们扩展了在我们的前一篇文章（S. Lewitzka，Algebraic Semantics for a Modal Logic Close to S1，J. Logic and Comp.，doi：10.1093/logcom/exu 067），并证明了：命题公式$φ$是IPC的一个定理当且仅当$\squareφ$是L的一个定理（实际上，我们证明了：$Φ\vdash_{IPC}φ$当且仅当$\squareΦ\vdash_L\squareφ$，对于命题$Φ,φ$）.因此，映射$φ\mapsto\squareφ$是IPC到L中的嵌入，即L包含IPC的副本。此外，L是经典命题逻辑CPC的保守扩展。在这个意义上，L是CPC和IPC的混合物。证明了L是完备的。一类具有（非正规）模态算子的特殊Heyting代数。
2015-06-03 cs.LO math.LO
Closure Semantics for Weak Modal Logics: Completeness and Representations
本文为弱模态逻辑引入闭包语义，证明其可靠性与强完备性，并给出与邻域、FMT及克里普克语义间的保真翻译。
2026-10-14 math.LO
Algebras and relational frames for Gödel modal logic and some of its extensions
哥德尔模态逻辑可以看作是直觉模态逻辑在预线性公理下的扩展。在本文中，我们专注于哥德尔模态逻辑的代数和关系语义，利用有限哥德尔代数和有限森林之间的对偶，即有限偏序集的主下集是全序的。我们考虑具有两个模态算子的哥德尔代数的基本簇的不同子簇（简称GAO）及其相应的森林框架类，它们具有一个或两个可达关系.这些关系结构可以被认为是直觉模态逻辑的通常关系语义的预线性版本。更确切地说，我们考虑有限哥德尔代数的两个主要扩展：一个是通过添加Dunn公理获得的，通常在正经典（和直觉主义）逻辑的片段中研究，另一个是通过添加Fischer Servi公理确定的。我们目前的Jónsson-Tarski像表示定理的不同类型的有限GAO考虑的文件。
2021-12-06 math.LO
Undecidability and non-axiomatizability of modal many-valued logics
在这项工作中，我们研究了一类全球模态逻辑所产生的Kripke框架评估某些剩余格，在文献中称为模态多值逻辑的可判定性。我们展示了一个大的家庭，这些模态逻辑是不可判定的，与经典的模态逻辑和命题逻辑定义在同一类代数。这个家族包括了在标准Lukasiewicz代数和乘积代数上计算的Kripke框架所产生的全局模态逻辑。我们改进了前面的结果，证明了全局模态Lukasiewicz和乘积逻辑甚至不能递归可公理化。我们的结论是否定地解决了开放的问题，即每个全局模态逻辑是否与它的局部模态逻辑在无限制必然规则下是封闭的。
2022-04-15 cs.LO math.LO
Axiomatizing Propositional Dependence Logics
通过扩展已有的命题逻辑和模态逻辑的公理化，给出了命题依赖逻辑（PD）、模态依赖逻辑（MDL）和扩展模态依赖逻辑（EMDL）的完备的希尔伯特式公理化.此外，我们给新的标记tableau演算PD，MDL，和EMDL。我们证明了每一个标记的结石的合理性，完整性和终止。
2014-10-19 cs.LO math.LO
The Modal Logics of Kripke-Feferman Truth
我们通过Solovay式完备性结果确定了Solomon Feferman的不动点真值模型的模态逻辑及其公理化。给定一个不动点模型$\mathcal{M}$或其公理化$S$，我们找到一个模态逻辑$M$，使得模态语句$φ$是$M$的一个定理当且仅当通过用真值谓词翻译模态算子得到的语句$φ^*$在$\mathcal{M}$中为真，或在所有这样的翻译下都是$S$的一个定理。为此，我们引入了一个新版本的可能世界的语义，具有经典和非经典的世界，并建立了一个家庭的非全等模态逻辑，其内部逻辑是亚经典的这种语义的完整性。
2020-05-06 math.LO
Axiomatizing logics of fuzzy preferences using graded modalities
本文的目的是提出一个多值模态框架，形式化推理与分级偏好和命题，在风格的范Bentham等人。的经典模态逻辑偏好。为此，我们从Bou et al.的最小模态逻辑。然后，我们定义适当的扩展多模态语言与分级模态，无论是弱和严格的偏好，并与真值常数。实际上，语言中真值常量的存在使我们能够证明最小模态逻辑的模态算子Box和Diamond是可互定义的。最后，我们提出了一个公理系统，这个逻辑在一个扩展的语言（其中的偏好模态运算符是可定义的），并证明了完整性方面的预期分级偏好语义。
2019-11-15 cs.LO math.LO
Spatial logic of modal mu-calculus and tangled closure operators
该研究将McKinsey和Tarski的拓扑模态逻辑成果拓展至模态μ演算与缠结算子逻辑，证明二者在拓扑空间上表达力等价，建立了相关逻辑的有限模型性质，拓展了剖分引理，得到多种语言在自稠密度量空间上的完备性与可靠性结果。
2016-03-05 cs.LO math.LO
On the Provability Logic of HA
本文研究了HA的可证逻辑，提出了可证模型语义，并证明了其可判定性，同时探讨了扩展iK4的模态逻辑的保持性和相对可接受性关系。
2026-01-02 math.LO
Fundamental Logic Through the Lens of Modality
University of California, Berkeley（加州大学伯克利分校）；Chapman University（查普曼大学）
本文利用模态逻辑，通过Gödel-McKinsey-Tarski和Goldblatt翻译，证明了基础逻辑与正交逻辑、直觉主义逻辑之间的完全忠实嵌入关系。
2026-07-24 cs.LO math.LO
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
本文研究了剩余格上仅基于必然算子的多值模态逻辑。我们专注于三个基本类，根据可及性关系，Kripke框架：在剩余格（并因此定义最小模态逻辑）评估的框架的完整类，在幂等元评估的框架和在0和1评估的框架。我们展示了如何扩展公理化，规范常数的语言，一个有限的剩余格之一的模态逻辑，为每一个的三个基本类的Kripke框架，在非常格。我们还给出了有限MV链的公理化，但这次没有正则常数。
2009-10-02 math.LO
Modal reduction principles: a parametric shift to graphs
本文提出基于图的框架推广 Pawlak 粗糙集理论，建立了 Sahlqvist 模态归约原理在 Kripke 框架与基于图和极性框架间的一阶对应联系，并引入超构造主义近似空间以传递近似空间的性质。
2024-03-20 math.LO
A note on strong axiomatization of Gödel Justification Logic
证明逻辑是一种特殊的模态逻辑，它为认识论证明的推理提供了一个框架。为此，他们扩展了经典的布尔命题逻辑的必要性风格的模态运算符“t：“，索引在t上的一组相应的理由，从而明确编码的理由，必要性断言的语法。因此，有了这些算子，人们不仅可以推理命题上的模态效应，还可以推理论证本身内部的动态。我们用哥德尔逻辑代替这个经典的布尔基，哥德尔逻辑是三个最著名的模糊逻辑之一，即多值逻辑的特殊实例，取值于单位区间[0，1]，旨在模拟模糊性下的推理。我们扩展了规范的可能世界语义的理由逻辑，这个模糊的领域，考虑模糊的可访问性和评估功能的最小t-范数和建立强完备性定理的各种模糊类比的突出扩展基本理由逻辑。
2021-09-05 math.LO
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
FCEyN - UBA（布宜诺斯艾利斯大学理学院与自然科学院）；University of Bern（伯尔尼大学）；IIIA - CSIC（西班牙国家研究委员会人工智能研究所）
本文给出了经典模态逻辑K45的多值Godel对应逻辑K45（G）的简化语义。更确切地说，我们把K_（45）（G）刻画为可能性Godel Kripke框架类<W，π>的有效公式集，其中W是世界的非空集，π：W \to [0，1]是W上的可能性分布.
2021-05-13 cs.AI math.LO
One-variable fragments of first-order logics
本文为一阶逻辑单变量片段提出了一种基于超融合性质和泛函表示定理的公理化充分准则，并提供了针对次结构逻辑的证明论策略。
2023-10-24 math.LO
Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
本文研究了添加收敛公理的模态逻辑S4.2、K4.2、Grz.2和GL.2在少变量语言中的复杂性，证明S4.2和Grz.2在双变量语言中为PSPACE完全，K4.2和GL.2*在单变量语言中为PSPACE完全，并将结果推广到无穷逻辑类。
2025-09-24 math.LO
Modal logics of conjunctively closed provability predicates
Graduate School of System Informatics, Kobe University（神户大学系统信息研究生院）
研究与满足特定可推导性条件的可证性谓词对应的非正规模态逻辑，引入基于闭包算子的新语义，证明了多个非正规模态逻辑的模态完全性及一些逻辑的算术完全性定理。
2026-07-10 math.LO
Nested Sequents for Quasi-transitive Modal Logics
本文针对带拟传递性公理的模态逻辑，基于嵌套矢列式提出构造性切割消去程序，并给出替代性的模块化证明系统表述。
2024-06-13 cs.LO math.LO
Labelled calculi for lattice-based modal logics
本文为基本正规非分配模态逻辑L及其31个公理化扩张提出了带标签矢列演算，并证明了其可靠性、完备性、保守性、切割消去与子公式性质，展示了为LE-逻辑类系统引入带标签演算的统一方法。
2024-01-18 math.LO
Elementary modal logics and circuit complexity
Institute for Logic, Language and Computation, University of Amsterdam（逻辑、语言与计算研究所，阿姆斯特丹大学）
本文证明有限公理化初等模态逻辑的有效性问题属于P，并利用图论复杂性结果，在假设P≠NP下构造无限多个非初等的K4-稳定逻辑，条件性否定回答开放问题。
2026-10-20 math.LO
Derivational modal logics with the difference modality
在这一章中，我们用导模态和差模态研究了组合语言中拓扑空间的模态逻辑。我们给出公理化和证明以下类的完备性：所有的空间，$T_1$ -空间，稠密的本身空间，一个零维稠密的本身可分度量空间，$R^n$ $(n\ge 2)$。我们还讨论了语言之间的相关性与不同的组合的拓扑，派生，普遍和差异形式的可定义性。
2014-05-26 math.LO
The Modal Logic of Finitely Symmetry-Preserving Iterated Extensions is Exactly S4
研究对称方法中模态算子□_sym的ZF可证模态逻辑，证明其恰好是S4，通过非融合引理和p-态射/有限框架实现建立。
2026-06-23 math.LO
A Modal Logic of Supervenience
随附性是一个重要的哲学概念。本文受附随决定的结果关系和一致算子语义的启发，提出了一种附随的模态逻辑，它以附随的二元算子为唯一模态。附随情态的语义与附随决定的结果关系的对应是非常自然的，就像严格蕴涵与推理决定的结果关系的对应一样。我们表明，这种新的逻辑是更有表现力的模态逻辑的协议，提出了互模拟的概念，后者的逻辑。我们为我们的新逻辑提供了一个可靠的证明系统。我们也提升到更一般的随附性逻辑。与此相关，我们比较了确定性命题逻辑和非偶然性命题逻辑的表达能力，并给出了确定性命题逻辑在各类框架上的公理化，从而解决了\cite [Sec.~ {Gorankoetal：2016}。作为推论，我们还提出了另一种公理化命题逻辑的确定性万有模型。最后，我们提出了许多未来的工作。
2016-11-15 math.LO
Semantical Analysis of Intuitionistic Modal Logics between CK and IK
本文通过扩展 CK 的克里普克语义以涵盖 IK 公理，解决了 CK 与 IK 之间逻辑在无菱形片段上的保守性开放问题，并使用 Coq 进行了形式化验证。
2025-04-22 cs.LO math.LO
Feferman Interpretability
本文引入模态逻辑 FIL 以处理 Feferman 可解释性，通过带标签的模态调整底层理论的公理集，证明了多种可解释性原理在弱算术理论中的可靠性。
2024-06-26 math.LO
Modal logic of planar polygons
我们研究了闭包代数$P_2$的模态逻辑，该闭包代数由欧氏平面上所有多边形的集合$\mathbb{R}^2$生成。我们表明，这种逻辑是axiomatizable，是完整的一类框架，我们称之为“冠”帧，不是一阶可定义的，不具有克雷格插值性质，其有效性问题是PSPACE-完全。
2018-07-08 math.LO
Modal expansions of ririgs
本文介绍了一类I-模态Ririgs。利用I-滤子刻画了成员的同余格，并给出了I-滤子生成的描述。我们还提供了一个公理化的介绍所产生的各种链的子品种的收缩I-模态ririgs。最后，我们介绍了一个希尔伯特式演算的逻辑与I-模态ririgs作为一个等价的代数语义，我们证明了这样的逻辑具有参数化的局部演绎分离定理。
2022-08-09 math.LO
A sound and complete axiomatization for Dynamic Topological Logic
动态拓扑逻辑（DTL）是一种用于动力系统推理的多模态系统。它是语义定义的，因此，在该领域所做的大部分工作都是模型理论的。特别是，在所有动力系统的类上为DTL的完整语言找到一个完整的公理化的问题已被证明是相当难以捉摸的。在这里，我们建议丰富的语言，包括一个多元拓扑形态，最初介绍了Dawar和奥托在不同的上下文中。然后，我们提供了一个健全的公理化DTL在这个扩展的语言，并证明它是完整的。在我们的证明中，多元模态被以一种基本的方式使用。
2012-01-25 cs.LO math.LO
A note on the modal logic of symmetric extensions
研究对称扩展的模态逻辑结构，定义选择开关概念，证明独立的选择开关系统不独立于标准按钮系统。
2026-05-06 math.LO
A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
本文翻译了Maehara 1954年关于直觉主义逻辑嵌入经典模态逻辑的论文，该工作独立于Gödel，使用证明论方法扩展了嵌入到一阶直觉主义模态逻辑。
2026-09-24 cs.LO math.LO
Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
本文为Fischer Servi的直觉主义模态逻辑IK及其扩展提供证明逻辑对应物，通过扩展证明项语法、公理化和无切嵌套序列系统实现语法实现。
2025-07-12 cs.LO math.LO
Decidability of Quasi-Dense Modal Logics
针对带模态归约原理的模态逻辑K扩展的长期可判定性难题，本文提出基于析取存在规则的新型证明系统，证明了准稠密逻辑子类的可判定性，并给出了EXPSPACE判定程序。
2024-06-05 cs.LO math.LO
Completeness for Flat Modal Fixpoint Logics
本文给出了一类模态不动点逻辑完备性的一般统一证明方法。给定形式为γ（x，p1，. . ., pn），其中x只在γ中出现，语言L \sharp（Γ）是通过对每个γε在多模态逻辑语言中增加一个连接词\sharp \_γ而得到的.术语\sharp \_γ（\varphi 1，. . ., \varphin）的最小不动点应解释为项γ（x，φ1，. . .,φn）。本文考虑如下问题：给定Γ，构造一个公理系统，它对于语言L \sharp（Γ）在Kripke框架上的具体解释是可靠的和完备的.我们证明了两个结果，解决这个问题。首先，令K \sharp（Γ）是通过为每个不动点连接符\sharp \_γ添加Kozen-Park型不动点公理和最小不动点规则而从基本多峰K获得的逻辑。只要每个标引公式γ满足在x中不捆绑的句法准则，我们证明了这个公理系统是完备的.其次，在一般情况下，证明了K_ \sharp（Γ）的扩张K ~+（Γ）的可靠性和完备性.这种扩展是通过一个有效的过程获得的，给定索引公式γ作为输入，返回\sharp \_γ的公理和推导规则的有限集合，其大小由γ的长度限制。因此，公理系统K+（Γ）是有限的，只要Γ是有限的。
2008-12-12 cs.LO math.LO
Bi-modal Gödel logic over [0,1]-valued Kripke frames
Universidad de los Andes（德洛斯安第斯大学）；Universidad de Buenos Aires（布宜诺斯艾利斯大学）
考虑由模糊Kripke模型确定的Gödel双模态逻辑，其中命题和可达关系都是标准Gödel代数[0，1]上的无穷值，并证明了Fischer Servi直觉模态逻辑IK加上关于此语义的预线性公理的强完备性.我们也公理化的双峰类似物的$T,$ $S4,$和$S5$通过限制到模型的框架满足[0，1]-值版本的结构特性，这些逻辑的特点。作为完备性定理的应用，我们得到了双峰Gödel代数的一个表示定理。
2011-10-11 cs.AI math.LO
Non normal logics: semantic analysis and proof theory
本文介绍了基本单调模态逻辑、条件逻辑CK及其公理化扩展的真显示演算。这些结石是健全的，完整的，保守的，并享有削减消除和子公式的财产。我们的建议适用于多类型的方法在显示演算的设计，从语义分析的基础上从单调模态逻辑到正常的双模态逻辑的翻译。
2019-03-12 math.LO
Distribution-Free Normal Modal Logics
本文研究了不依赖分布的正模态逻辑，通过统一的相对语义学方法证明了其规范性和完备性，并提出了新的直观模态逻辑的语义处理。
2024-12-20 cs.LO math.LO
The Monadic Grzegorczyk Logic
New Mexico State University（新墨西哥州立大学）
通过强化描述性MGrz-框架中最大点的概念并改进选择性过滤方法，证明了MGrz的有限模型性质，从而确立了MGrz公理化谓词Grzegorczyk逻辑QGrz的单变量片段。
2026-06-23 math.LO
Some Epistemic Extensions of Gödel Fuzzy Logic
本文研究Gödel模糊逻辑的认知模态扩展，提出K_F、B_F和T_F公理系统，证明其可靠性与完备性，并表明K_F不可归约为清晰可达关系模型且不具有限模型性质。
2024-03-02 math.LO
