Las logicas modales en general nos hablan de relacionados, por ejemplo estudiamos logicas modales basicas a partir de modelos de Kripke que constan de un conjunto W de puntos o nodos, una relacion binaria (y usualmente llamamos un marco a la pareja (W, R) ) y una valuacion V que asigna a cada letra proposicional una conjunto de puntos del modelo donde son validas y a traves del operador que nos permite verificar la validez de una formula en algun sucesor de un punto del modelo y analogamente el operador □ que nos permite verificar validez en todo los sucesores de un punto del modelo; luego de revisar estos puntos nos damos cuenta que la logica modal basica es muy expresiva acerca de la relacion misma entre sus puntos, podemos verificar propiedades sobre sucesores y en casos como la logica temporal sobre los antecesores pero bajo ningun caso podemos hablamos sobre los puntos mismos del modelo y es la logica modal hibrida la que busca solucionar este asunto, en otras palabras requiere hablar de un aqui y ahora dentro de los modelos de la logica modal basica.