Logics for First-Order Team Properties
Logics for First-Order Team Properties
复制标题
一阶团队属性的逻辑
DOI：
10.1007/978-3-662-59533-6_24
复制
发表时间：
2019
影响因子：
2
通讯作者：
Fan Yang
中科院分区：
文献类型：
--
作者：
J. Kontinen;Fan Yang
在本文中，我们介绍了一个逻辑的基础上的团队语义，称为FOT，其表达能力符合一阶逻辑的水平上的句子和（开放）公式，我们还表明，一个子逻辑的FOT，称为FOT${}^\downarrow$，捕捉到向下封闭的一阶团队属性。我们完全公理化的逻辑FOT，也扩展了依赖逻辑的部分公理化的依赖逻辑丰富的逻辑常数FOT${}^\downarrow$。
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power coincides with first-order logic both on the level of sentences and (open) formulas, and we also show that a sublogic of FOT, called FOT${}^\downarrow$, captures exactly downward closed first-order team properties. We axiomatize completely the logic FOT, and also extend the known partial axiomatization of dependence logic to dependence logic enriched with the logical constants in FOT${}^\downarrow$.