Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information

被引：103
作者：
Galliani, Pietro [1 ]
机构：
[1] Univ Amsterdam, Inst Log Language & Computat, Fac Nat Wetenschappen Wiskunde & Informat, NL-1090 GE Amsterdam, Netherlands
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2012年 / 163卷 / 01期
关键词：
Dependence; Independence; Imperfect information; Team semantics; Model theory;
D O I：
10.1016/j.apal.2011.08.005
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We introduce some new logics of imperfect information by adding atomic formulas corresponding to inclusion and exclusion dependencies to the language of first order logic. The properties of these logics and their relationships with other logics of imperfect information are then studied. As a corollary of these results, we characterize the expressive power of independence logic, thus answering an open problem posed in Gradel and Vaananen, 2010 [9]. (C) 2011 Elsevier B.V. All rights reserved.
引用
收藏
页码：68 / 84
页数：17
相关论文
共 22 条
[1]  
Abramsky Samson, 2008, IF BI TALE DEPENDENC
[2]  
Casanova M.A., 1982, P ACM S PRINC DAT SY, P171, DOI [10.1145/588111.588141, DOI 10.1145/588111.588141]
[3]  
Casanova M.A., 1983, PODS, P36
[4]  
Codd EF., 1972, DATA BASE SYSTEMS, V6, P33
[5]  
Durand A, 2011, ABS11053324 CORR
[6]  
Engstrom Fredrik, 2010, GEN QUANTIF IN PRESS
[7]   A NORMAL-FORM FOR RELATIONAL DATABASES THAT IS BASED ON DOMAINS AND KEYS [J].
FAGIN, R .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (03) :387-415
[8]  
Fagin R., 1973, SIAM AMS P, V7, P43
[9]  
Grade Erich, 2010, STUDIA LOGI IN PRESS
[10]  
Hintikka Jaakko., 1996, PRINCIPLES MATH REVI
123