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

被引：99
|
作者：
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
相关论文
共 50 条
  • [1] Upwards Closed Dependencies in Team Semantics
    Galliani, Pietro
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (119): : 93 - 106
  • [2] Upwards closed dependencies in team semantics
    Galliani, Pietro
    [J]. INFORMATION AND COMPUTATION, 2015, 245 : 124 - 135
  • [3] Separation logic and logics with team semantics
    Haase, Darion
    Graedel, Erich
    Wilke, Richard
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (10)
  • [4] Computational Aspects of Logics in Team Semantics
    Kontinen, Juha
    [J]. 34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017), 2017, 66
  • [5] SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
    Barbero, Fausto
    [J]. REVIEW OF SYMBOLIC LOGIC, 2019, 12 (03): : 456 - 486
  • [6] Logics with Probabilistic Team Semantics and the Boolean Negation
    Hannula, Miika
    Hirvonen, Minna
    Kontinen, Juha
    Mahmood, Yasir
    Meier, Arne
    Virtema, Jonni
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 665 - 680
  • [7] Inclusion Dependencies in XML: Extending Relational Semantics
    Karlinger, Michael
    Vincent, Millist
    Schrefl, Michael
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2009, 5690 : 23 - +
  • [8] Equilibrium semantics of languages of imperfect information
    Sevenster, Merlijn
    Sandu, Gabriel
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (05) : 618 - 631
  • [9] Expressivity of Imperfect Information Logics without Identity
    Kuusisto, Antti
    [J]. STUDIA LOGICA, 2013, 101 (02) : 237 - 265
  • [10] Default reasoning with imperfect information in multivalued logics
    Stamate, Daniel
    [J]. 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008), 2008, : 163 - 168
12345