Descubre cómo la lógica modal interpreta la posibilidad y necesidad dentro del conocimiento científico, examinando su estructura semántica y sus implicaciones en la teoría de la verdad.