Verificación formal en lógica modal - Prieto Larios, Estefanía (MX, 2018)