Semántica comonádica para lógica híbrida y fragmentos acotados