Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this paper, we introduce sound and complete deduction systems for the major modal dependence logics, especially those with intuitionistic connectives in their languages. We also establish a concrete connection between team semantics and single-world semantics, and show that modal dependence logics can be interpreted as variants of intuitionistic modal logics.2010 Mathematics Subject Classification: 03B45, 03B60, 03B55 Keywords: dependence logic, team semantics, modal logic, intuitionistic modal logic, intermediate logics Dependence logic is a logical formalism, introduced by Väänänen [28], that captures the notion of dependence in social and natural sciences. The modal version of the logic is called modal dependence logic and was introduced in [29]. Modal dependence logic extends the usual modal logic by adding a new type of atomic formulas =(p 1 , . . . , p 1 , q), called dependence atoms, to express dependencies between propositions, and by lifting the usual single-world semantics to the so-called team semantics, introduced by Hodges [13,14]. Formulas of modal dependence logic are evaluated on sets of possible worlds of Kripke models, called teams. Intuitively, a dependence atom =(p 1 , . . . , p 1 , q) is true if within a team the truth value of the proposition q is functionally determined by the truth values of the propositions p 1 , . . ., p n .Research on modal dependence logic and its variants has been active in recent years. Basic model-theoretic properties of the logics were studied in e.g., [26], a van Benthem Theorem for the logics was proved in [16], and the frame definability of the logics was studied in [24,25]. The expressive power and the relevant computation complexity problems of the logics were investigated extensively in e.g., [7,8,9,12,19,20,26]. In this paper, we study two problems that received less attention in the literature, namely the axiomatization problem and the comparison between team semantics and the single-world semantics.