Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information

Details Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information

2011-06-07

arxiv.org/abs/1106.1323v2

Mathematics

Logic

Scientific paper

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. Furthermore, a game theoretic semantics for these logics is developed. As a corollary of these results, we characterize the expressive power of independence logic, thus answering an open problem posed in (Gr\"adel and V\"a\"an\"anen, 2010).

Affiliated with

Also associated with

No associations

Rating

Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-26496