Bisimulation equivalence relation and logic preservation for continue time Markov decision process