The Entscheidungsproblem is identified with the decision problem for first-order logic that is, the problem of algorithmically determining whether a first-order statement is universally valid. <http://en.wikipedia.org/wiki/Entscheidungsproblem> 

I would like to know how one could adapt a version of this problem to other logics, especially in the modal logic and if this is a positive or negative answer(in the case of first-order logic the answer is negative). 

In general how could approach problems of decision in other logical(especially in the modal logic). Known works about this. Thanks