摘要
我们修改了拓扑模态逻辑摩斯语和帕里克语。这使我们能够研究进一步的子集空间类的相应理论。在本文中，我们讨论了每个开链满足一定有限性条件的空间。我们认为两者都是地方的与点和a相关的有限性条件全球的一个是关于整个框架的。出现的逻辑系统的完整性，这是众所周知的模态系统的推广G公司，可以用与一般子集空间逻辑相同的方式获得。我们的主要目的是表明系统在有限模型特性.
引用
下载引文
伯恩哈德·海涅曼。
“满足有限链条件的拓扑模态逻辑。”
圣母院J.形式逻辑
39
(3)
406至421之间，
1998年夏。
https://doi.org/10.1305/ndjfl/1039182254
问询处
出版日期：1998年夏季
欧几里得项目首次提供：2002年12月6日
数字对象标识符：10.1305/ndjfl/1039182254
学科：
主要用户：03B42号
次要：68T27型
版权所有©1998年圣母大学
