拓扑$T_0$空间的差分模态逻辑

Rajab Aghamov

拓扑$T_0$空间的差分模态逻辑

逻辑 2019-12-03 v2

作者: Rajab Aghamov

摘要

本文旨在研究 $T_0$ 空间的拓扑模态逻辑，带有差分模态（对于 $T_n$ ，其中 $n\geq1$ ，相应逻辑已知）。我们考虑具有两个模态算子 $\square$ 和 $[\ne]$ 的命题模态逻辑。 $\square$ 被解释为内部算子， $[\ne]$ 对应于不等关系。我们引入逻辑 $S4DT_0$ ，并证明 $S4DT_0$ 是所有 $T_0$ 空间的逻辑且具有有限模型性质。

关键词

模态逻辑拓扑空间 $T_0$空间差分模态 $S4DT_0$ 有限模型性质

引用

@article{arxiv.1810.02150,
  title  = {Modal logic with the difference modality of topological $T_0$-spaces},
  author = {Rajab Aghamov},
  journal= {arXiv preprint arXiv:1810.02150},
  year   = {2019}
}

相关论文

查看更多相关论文 →