Massive gravity is also important for addressing significant open questions such as the cosmological constant problem, dark matter and dark energy. It is expected that massive gravity can answer questions related to these issues. Stability of these theories is important too. Appearance ghost in these theories shows an unbounded Hamiltonian. In this thesis, recent progress in massive gravity theories has been studied. Our survey extends from massive spin 2 theory given by Fierz and Pauli in 1939 to Hassan and Rosen model of massive gravity in 2011. We investigate the exact Hamiltonian analysis of massive gravity and bi-gravity in metric and vierbein formalisms and also in Stuckelberg framework. Using the Hamiltonian analysis, at the nonlinear level and in the full phase space, we would be able to determine the presence or absence of ghost. We show finally that massive gravity model of Hassan-Rosen has five degrees of freedom in four dimensions corresponding to one massive graviton. We also show that in metric formulation, the bi gravity theory of Hassan and Rosen possesses 7 dynamical degrees of freedom corresponding to one massless graviton and one massive graviton. We emphasis the bifurcation problem in the context of constrained systems and show that this happens for bi-gravity several times. We also analyze a model without square root, using a di?erent set of lapse and shift variables. We show that it is not improbable to have a ghost free model of this kind. We also study the Hamiltonian analysis of bi-gravity in vierbein formalism in which in addition to diffeomorphism invariance there is also local Lorentz symmetry.