The Finite Model Property for Logics with the Tangle Modality
The Finite Model Property for Logics with the Tangle Modality
复制标题
缠结模态逻辑的有限模型性质
DOI：
10.1007/s11225-017-9732-1
复制
发表时间：
2017
期刊：
影响因子：
0.7
通讯作者：
Goldblatt R
中科院分区：
文献类型：
--
作者：
Goldblatt R
缠结模态是一种命题连接，它将基本模态逻辑扩展到一种语言，这种语言在某些有限框架类上与一阶和一元二阶逻辑的双模拟不变片段在表达上等效。本文公理化了几种具有全称模态的缠结逻辑，并证明了它们具有Kripke框架语义的有限模型性质。逻辑由其验证框架上的各种条件指定，包括本地和全局连通性属性。一些结果已被用来获得拓扑空间中纠缠模态逻辑解释的完备性定理。
The tangle modality is a propositional connective that extends basic modal logic to a language that is expressively equivalent over certain classes of finite frames to the bisimulation-invariant fragments of both first-order and monadic second-order logic. This paper axiomatises several logics with tangle, including some that have the universal modality, and shows that they have the finite model property for Kripke frame semantics. The logics are specified by a variety of conditions on their validating frames, including local and global connectedness properties. Some of the results have been used to obtain completeness theorems for interpretations of tangled modal logics in topological spaces.
登录
查看更多内容
DOI：
--
发表时间：
2016
期刊：
Advances in Modal Logic
影响因子：
--
作者：
R. Goldblatt;I. Hodkinson
通讯作者：
I. Hodkinson
缠结闭包算子的空间逻辑和模态 mu 演算
影响因子：
0.8
作者：
Goldblatt R
通讯作者：
Goldblatt R
具有差分模态的导数模态逻辑
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
A. Kudinov;V. Shehtman
通讯作者：
V. Shehtman
“到处”和“这里”。
影响因子：
5.6
作者：
V. Shehtman
通讯作者：
V. Shehtman
拓扑动力学的纠缠模态逻辑
DOI：
10.1016/j.apal.2011.12.018
发表时间：
2012
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
D. Fernández
通讯作者：
D. Fernández