First-Order Definability of Transition Structures
First-Order Definability of Transition Structures
复制标题
过渡结构的一阶可定义性
DOI：
10.1007/s10849-018-9276-4
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Zanardo
中科院分区：
文献类型：
--
作者：
Rumberg;Zanardo
Rumberg(J Log Lang Inf 25(1)：77-108,2016a)中提出的转换语义构成了一个细粒度的框架，用于模拟分支时间结构中情态和时间的相互关系。在该框架中，过渡语言的句子是在由一个时刻和一组过渡组成的对的过渡结构上进行评估的。在这篇文章中，我们提供了一类一阶可定义的保持有效性的Klipke结构。过渡结构。因此，对于某一片段，有效w.r.t.过渡结构被证明是公理的。然后，通过一种非常自然的‘亨金移动’，即放松对捆绑结构有效性的概念，将结果扩展到整个语言。
The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition languageare evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves-validity w.r.t. transition structures. As a consequence, for a certain fragment of, validity w.r.t. transition structures turns out to be axiomatizable. The result is then extended to the entire languageby means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures.
登录
查看更多内容
时间模式和模态结构
影响因子：
1
作者：
J. Benthem
通讯作者：
J. Benthem
不真实的未来
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
J. Burgess
通讯作者：
J. Burgess
非自反性引理及其在时态框架条件公理化中的应用
DOI：
--
发表时间：
1981
期刊：
影响因子：
--
作者：
D. Gabbay
通讯作者：
D. Gabbay
逻辑与时间
影响因子：
0.6
作者：
J. Burgess
通讯作者：
J. Burgess
“皮尔士”分支时间逻辑的公理化
DOI：
--
发表时间：
1990
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
A. Zanardo
通讯作者：
A. Zanardo