Background: this question discusses Lagrangian/Hamiltonian formulation of a dissipative problem. However, I'm not clear if this can be made quantum and would like a more explicit roadmap if possible.
I'm interested if there are quantum systems whose classical limits are not Hamiltonian, and how one would describe such a system if they do exist. I have in mind something like the following:
1) There is a Hilbert space of states.
2) Time evolution is completely positive. This may have to not be unitary/Hamiltonian, but this is acceptable since I have in mind some effective theory of a subsystem.
3) The classical limit has time evolution given by the dissipative EoMs:
$$m\ddot{x} +\gamma \dot{x} +kx = 0$$
How do I define such a system, what makes it quantum, and how do I achieve the quantisation such that I get the correct classical behaviour?