Tesis doctoral de Muñoz Velasco Emilio José
Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el campo de la lógica formal como parte de los fundamentos matemáticos de la computación. Sin embargo, su motivación ha partido de un área de conocimiento aplicado como la búsqueda de lógicas adecuadas para la especificación y control de procesos y sistemas multiagentes. Las lógicas introducidas permiten la especificación y control de procesos paralelos y el comportamiento de distintos agentes conectados en red. La investigación llevada a cabo por nuestro grupo de investigación gimac (grupo de investigación en herramientas matemáticas para la computación) hasta la fecha de inicio de este trabajo, cuyo objetivo puede ser descrito como: «el diseño de una nueva metodología de demostración automática de teoremas que contribuya al uso real de software deductivo y, en definitiva, al uso de la lógica en computación» y, concretamente, los estudiso realizados en el grupo en aspectos tanto teóricos como aplicativos de las lógicas modales y temporales, y siendo conscientes de que las aplicaciones reclaman la integración de distintas lógicas, planteamos lógica adecuada a las aplicaciones anteriormente señaladas una lógica temporal x modal. consideramos como aspectos destacado y novedosos en la investigación: el estudio de la definibilidad de las propiedades destacadas de clases de funciones tales como: totalidad, sobreyectividad, inyectividad, crecimiento, componibilidad, sin necesidad de hacer uso de la lógica de segundo orden. deseamos destacar que nuestro trabajo ha tenido un punto de partida diferente a la de los trabajos existentes en la bibliografía en los que encontramos contemplada la combinación de tiempo y modalidad y en los que se abordan cuestiones filosóficas tales como el determinismo, la teoría de la acción, la causalidad, los condicionales, etc. ver, por ejemplo, [aqvist(1999)], [belnap and perloff)1990)], [beln
Datos académicos de la tesis doctoral «Semántica funcional para lógicas temporales x modales. definibilidad y teoremas de completitud«
- Título de la tesis: Semántica funcional para lógicas temporales x modales. definibilidad y teoremas de completitud
- Autor: Muñoz Velasco Emilio José
- Universidad: Málaga
- Fecha de lectura de la tesis: 11/01/2003
Dirección y tribunal
- Director de la tesis
- Inmaculada Perez De Guzman Molina
- Tribunal
- Presidente del tribunal: Barja pérez José María
- José Muñoz pérez (vocal)
- huberto Marraud gonzález (vocal)
- gabriel Aguilera venegas (vocal)