Sahlqvist preservation for topological fixed-point logic
Sahlqvist preservation for topological fixed-point logic
复制标题
拓扑定点逻辑的 Sahlqvist 保全
DOI：
10.1093/logcom/exv010
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Sumit Sourabh
中科院分区：
文献类型：
--
作者：
N. Bezhanishvili;Sumit Sourabh
本文对模态紧Hausdorff空间上的正模态μ-演算引入了一种新的序拓扑语义，它是描述框架的推广。我们定义了Sahlqvist序列，证明了Esakia引理和Sahlqvist保持定理。我们证明了每一个Sahlqvist算子在一阶逻辑中都有一个对应于不动点算子的框架。
We introduce a new order-topological semantics for the positive modal mu-calculus over modal compact Hausdorff spaces, which are generalizations of descriptive frames. We define Sahlqvist sequents in this language, prove Esakia's lemma and Sahlqvist preservation theorem for this semantics. We show that every Sahlqvist sequent has a frame correspondent in first-order logic with fixed-point operators.
模态紧豪斯多夫空间
影响因子：
0.7
作者：
Bezhanishvili G
通讯作者：
Bezhanishvili G