کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661930 | 1633491 | 2012 | 17 صفحه PDF | دانلود رایگان |
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 Grädel and Väänänen, 2010 [9].
► We introduce some new logics of imperfect information and study their properties.
► Inclusion/Exclusion Dependencies are added to language of First Order Logic.
► Exclusion Logic = Dependence Logic, Inclusion/Exclusion Logic = Independence Logic.
► We characterize the expressive power of Independence Logic formulas.
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 1, January 2012, Pages 68–84