中文

具有双邻域语义的CLoN模态扩展

计算机科学中的逻辑 2026-06-29 v1 逻辑
作者: Mahan Vaz , Daniel Skurt
在 arXiv 上查看 ↗ PDF ↗

摘要

在本文中，我们将为\clon\clon（{\sf FDE}的一个子逻辑）的非正规模态扩展提出邻域语义。我们的框架建立在先前基于{\sf FDE}的非正规模态逻辑工作之上，并为每个模态算子采用两个不同的邻域函数。尽管这是一个具有非常弱否定算子的逻辑，我们将证明，通过正确定义模态算子的拒绝集，我们可以验证包含弱否定算子的非平凡公理。我们方法的哲学目标是构建道义逻辑的基础，这些逻辑能够同时容纳通常的道义原则和道德困境，而不会导致系统的平凡化。

关键词

邻域语义 非正规模态逻辑 FDE CLoN 道义逻辑 模态扩展

引用

@article{arxiv.2606.30297,
  title  = {Modal Extensions of CLoN with Bi-neighborhood Semantics},
  author = {Mahan Vaz and Daniel Skurt},
  journal= {arXiv preprint arXiv:2606.30297},
  year   = {2026}
}