Synthesis of transition systems from quantum logics