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:Resumen : Tesis de doctorado: Del lenguaje racional a la ciencia de las fórmulas. Una interpretación del papel y del sentido del proyecto leibniziano de la Characteristica Generalis