Assertion: logic's semantic | /r/HasProperty | obtained in other words
Facets:
Source sentences:
text: Dependence logic is a logic of imperfect information, like branching quantifier logic or independence-friendly logic: in other words, its game theoretic semantics can be obtained from that of first-order logic by restricting the availability of information to the players, thus allowing for non-linearly ordered patterns of dependence and independence between variables.