Title:Aplicación de los Tableaux analíticos para la determinación de las relaciones de accesibilidad en marcos de Kripke para la Lógica Modal Proposicional
Title:La función de la lógica deóntica : ¿Qué queda de ella luego de las paradojas? / The role of deontic logic. What's left of it after the paradoxes?
Title:Prototipo para soportar el paradigma de aprendizaje significativo aplicando las técnicas de tutoría inteligente e identificando formulas bien formadas