Yensen Limón Everardo Bárcenas Guillermo Molero-Castillo Rocío Aldeco-Pérez Sobre la automatización del razonamiento y el aprendizaje en lógicas modales. 893-906 2020 149 Res. Comput. Sci. 8 https://rcs.cic.ipn.mx/2020_149_8/Sobre%20la%20automatizacion%20del%20razonamiento%20y%20el%20aprendizaje%20en%20logicas%20modales.pdf db/journals/rcs/rcs149.html#LimonBMA20