Derivational Modal Logics with the Difference Modality
Derivational Modal Logics with the Difference Modality
复制标题
具有差分模态的导数模态逻辑
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
V. Shehtman
中科院分区：
文献类型：
--
作者：
A. Kudinov;V. Shehtman
在这一章中，我们研究了组合语言中拓扑空间的模态逻辑，包括导模态和差模态。我们给公理化和证明以下类的完整性：所有的空间，T1-空间，稠密的空间，零维稠密的可分度量空间，Rn（n 2）。我们还讨论了语言之间的相关性，
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the dierence modality. We give axiomatizations and prove completeness for the following classes: all spaces, T1-spaces, dense-in-themselves spaces, a zerodimensional dense-in-itself separable metric space, R n (n 2). We also discuss the correlation between languages with dierent
空间逻辑手册
DOI：
10.1007/978-1-4020-5587-4_9
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Kontchakov R
通讯作者：
Kontchakov R