Resumen de Una lógica modal par la geometría esférica de incidencia
En esta memoria se introducen sistemas axiomáticos de tipo multimodal, para las geometrías planas de incidencia, esféricas e hiperbólicas;probándose la corrección y completiud de los mismos. Para ello se construye previamente bases semánticas adecuadas, de estructuras equivalentes a los modelos clásicos de ambas geometrías y susceptibles en cada caso de poder interpretar en ellas los nuveos lenguajes multimodales introducidos.
