En este documento, proponemos modelos de estilo Kripke para las lógicas de evidencia y verdad. Estas lógicas extienden, respectivamente, la lógica de Nelson y la lógica de la implicación de primer grado con un operador de clasicidad que recupera la lógica clásica para fórmulas en su alcance. Según la interpretación prevista aquí propuesta, estos modelos representan una base de datos que recibe información a medida que pasa el tiempo, y dicha información puede ser positiva, negativa, no confiable o confiable, mientras que una fórmula significa que la información sobre , ya sea positiva o negativa, es confiable. Esta propuesta está en línea con la interpretación de y como lógicas basadas en la información, pero agrega a los cuatro escenarios expresados por ellos dos nuevos escenarios: información confiable (o concluyente) (i) para la verdad y (ii) para la falsedad de una proposición dada.