The Expressive Power of Modal Dependence Logic
... modal logic a team is just a set of states in a Kripke model. Modal dependence
logic extends standard modal logic with team semantics by modal dependence
atoms, =(p1 , . . . , pn , q). The intuitive meaning of the formula =(p1 , . . . , pn , q)
is that within a team the truth value of the propositio ...