On neighborhood product of some Horn axiomatizable logics
我们考虑邻域框架乘积的模态逻辑。定义模态逻辑的n-积为相应逻辑的邻域框架的所有积的逻辑，并求出任意两个预传递Horn可公理化逻辑的n-积。作为推论，我们发现了某些拓扑空间的拓扑空间乘积的d-逻辑。
2016-09-11 math.LO
Modal logic of some products of neighborhood frames
本文考虑邻域框架积的模态逻辑，证明了对于集合$\{S4, D4, D, T\}$中的任意逻辑对$L$和$L'$，$L$ -邻域框架和$L'$ -邻域框架积的模态逻辑是$L$和$L'$的融合.
2014-05-26 math.LO
Neighborhood and algebraic models for predicate modal logics with $ω$-rules
Kyushu Sangyo University（九州产业大学）
本文研究了带有ω规则的谓词模态逻辑的邻域与代数模型，建立了一类逻辑在具有常域邻域模型下完备性的充分条件，并扩展了Tanaka和Arló-Costa等人之前的研究结果。
2026-04-28 math.LO
Inquisitive Neighborhood Logic
本文提出一种基于严格条件算子的探究模态逻辑，用于邻域模型推理，证明其表达力与双仿关系匹配，并给出可靠完备的公理化。
2024-11-08 math.LO
Modal Extensions of CLoN with Bi-neighborhood Semantics
Ruhr University Bochum（波鸿鲁尔大学）；Institute for Philosophy I（哲学研究所I）
本文为弱逻辑CLoN提出非正规模态的双邻域语义，通过定义模态算子的拒绝集验证含弱否定的非平凡公理，为容纳道德困境的道义逻辑奠定基础。
2026-06-29 cs.LO math.LO
Multi-topological semantics for intuitionistic modal logic
我们提出了三个例子的\textit{multi-topological}语义的直觉模态逻辑与一个模态运算符$\Box$（其行为在某种意义上像必要性）。我们表明，它是可能的处理邻域模型，前面介绍的，作为多拓扑。从邻域的角度来看，我们的方法是基于最小和最大邻域的属性之间的差异。并提出了多拓扑空间到邻域结构的变换。虽然我们的邻居可以被认为是双关系模型，我们相信，推理的邻居提供了更好的拓扑直觉。
2019-03-16 math.LO
Notes on neighborhood semantics for logics of unknown truths and false beliefs
School of Humanities, University of Chinese Academy of Sciences（中国科学院大学人文学院）
在这篇文章中，我们研究了在邻域语义下的未知真和假信念逻辑。我们比较了这两种逻辑的相对表现力。事实证明，它们在不同类别的邻域模型上是不可比较的，并且这两种逻辑的组合在任何类别的邻域模型上都具有标准模态逻辑的表达能力。我们为每一个逻辑提出了态射，它可以帮助我们探索框架可定义性问题，给出一个一般的可靠性和完备性结果，并推广了文献中的一些结果。我们公理化的两个逻辑在不同类别的邻域框架。最后，我们将结果推广到公告的情形，这对Moore判决和其他一些判决有很好的应用。
2020-02-22 cs.AI math.LO
Uncountably many maximally consistent neighborhood complete congruential modal logics
Jagiellonian University（雅盖隆大学）
该研究解决了Peter Fritz提出的开放问题，通过代数方法构造不可数极小模态代数簇，证明存在不可数多个C-Post完全且邻域完全的同态模态逻辑。
2026-09-07 math.LO
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
本文研究了Chang首先提出的邻域框架逻辑--余代数谓词逻辑在单调模态逻辑研究中的作用。我们证明了类似的Goldblatt-Gesason定理和罚款的规范性定理类单调邻域框架下封闭的初等等价的余代数谓词逻辑。这里的初等等价可以分别相对化为单调、拟滤子、增广拟滤子、滤子或增广滤子邻域框架类。原来的，克里普克语义版本的定理如下作为一个特殊情况下，有关类的增强过滤器邻域框架。
2020-02-13 math.LO
Provability interpretation of non-normal modal logics having neighborhood semantics
Kobe University（神户大学）
本文提出了一种基于邻域语义的新方法，用于研究非正则模态逻辑的算术完备性定理。
2025-11-20 math.LO
Semântica relacional para a lógica proposicional do plausível
本文旨在为一种模态逻辑，即似是而非的命题逻辑，提出一种邻域语义。作为一种次正规特征模态逻辑，not是一种Kripke语义.然而，作者证明了这种邻域语义，达到了一种关系语义对于命题逻辑的似是而非。
2016-03-22 math.LO
Intuitionistic modal logic based on neighborhood semantics without superset axiom
本文研究了用邻域结构语义定义的命题直觉模态逻辑系统。我们讨论了这些框架上施加的各种限制，但我们不变的方法是放弃超集公理。这样的假设允许我们考虑特定的模态$Δ, \nabla$和新的函子$\rightsquigarrow$取决于最大邻域的概念。我们展示了如何将我们的模型视为双关系模型。我们证明了所提出的公理化的可靠性和完备性的典范模型。此外，我们还证明了有限模型的性质。然后，我们描述了有界态射，行为等价，互模拟和n-互模拟的性质。最后，我们讨论了进一步的研究（例如一些有趣的经典案例和特定的拓扑问题）。
2018-01-17 math.LO
Non-contingecy in a paraconsistent setting
研究扩展一阶蕴含（FDE）的逻辑 $\mathbf{K}^\blacktriangle_\mathbf{FDE}$，引入非必然性算子 $\blacktriangle$ 建模信息不一致性搜索，构建分析切割系统证明其可靠性和完备性，并探讨其与经典非必然性逻辑在框架可定义性上的差异。
2024-02-17 math.LO
Evidence and plausibility in neighborhood structures
University of Amsterdam（阿姆斯特丹大学）；Universidad de Sevilla（塞维利亚大学）；University of Maryland（马里兰大学）
证据的直观概念具有语义和句法特征。在本文中，我们开发了一个{\em证据逻辑}的认知代理面临可能矛盾的证据来自不同的来源。该逻辑基于邻域语义，其中邻域$N$指示代理有理由相信世界的真实状态在于$N$。基于后一种排序的世界和信念之间的相对可解释性的进一步概念，然后根据这种证据结构来定义，从而产生我们预期的基于证据的信念模型。此外，我们还考虑了第二个更一般的味道，在那里的信念和可扩展性建模使用额外的原始关系，我们证明了一个表示定理，表明每个这样的一般模型是一个$p$-morphic图像的一个意图。这种语义会导致一些自然的特殊情况，这取决于我们使证据集统一的程度，以及它们的总体结构的一致性。我们给出了一个结构的研究所产生的“均匀”和“平坦”的模型。我们的主要结果是健全和完整的公理化的逻辑的所有四个主要模型类的模态语言的证据，信念和安全的信念。最后，我们展望逻辑的动态变化的证据，以及由此产生的语言扩展和连接逻辑的可扩展性变化。
2013-07-04 cs.AI cs.LO math.LO
Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
推理联盟力量的模态逻辑抓住了与博弈形式相关的有效性函数的概念。联盟逻辑的主要目标是提供形式化的工具，用于对游戏框架的动态进行建模，该游戏框架的状态可能对应于不同的游戏形式。研究的两类有效性函数分别是可玩有效性函数族和真可玩有效性函数族。在本文中，我们推广了有效性函数的概念，超越了是/否真值尺度。这使我们能够描述联盟根据在有限的ukasiewicz链中取值的结果函数来评估其有效性的情况。然后，我们介绍了两个模态扩展的Eukasiewicz有限值逻辑与多值邻域语义，以编码的多值有效性函数的性质与游戏形式。作为我们的主要结果，我们证明了两个新引入的模态逻辑的完备性定理。
2015-12-08 cs.LO math.LO
On the minimization k-valued logic functions in the class of disjunctive normal forms
该文研究k值逻辑函数在析取范式类中的最小化问题，证明了简约与最短析取范式重合的定理，给出一类单调函数的数量估计，还得到析取范式一阶邻域吸收初等合取式的判定准则。
2024-01-30 math.LO
A note on the intuitionistic logic of false belief
本文分析了直觉主义背景下的错误信念逻辑。这种逻辑，在其经典版本中由Steinsvold，Fan，Gilbert和Venturi研究，描述了以下情况：公式F在给定的世界中不满足，但我们仍然相信它（或者我们认为它应该被接受）。另一种解释也是可能的：例如，我们不接受F，但它是由一种理事会或咨询委员会强加给我们的。从数学的角度来看，这一思想是由一个适当形式的模态算子W，它是在关系框架与邻域解释。我们讨论了强迫的单调性，可靠性，完备性和其他几个问题。我们还提出了一些简单的系统，其中确认以前接受的公式建模。
2020-11-04 math.LO
