Verdugo Serna, CarlosQuezada Pulido, Wilfredo2024-10-092024-10-091989https://repositoriobibliotecas.uv.cl/handle/uvscl/14696esLOGICA EPISTEMICASEMANTICALógica modal : una mecanización alternativa para la semántica de los mundos posibles de KripkeTMG