The Temporal logic is considered an important tool in the area of Artificial Intelligence and Computer Science,including for example the specification and verification of many different systems.One of themost important approach of verification 1s the theorem proving, which includes resolution, tableaux, etc.In this paper, we present a literature survey of the resolution method of theorem proving intemporal logics to analyse the pros and cons of the current methods of resolution.