Tesis doctoral de Salguero Lamillar Francisco Jose
En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales, tanto desde el punto de vista de la teoria de modelos como desde el de la filosofia del lenguaje y el analisis de los lenguajes naturales. Sobre la base de estos estudios, se plantean algunos problemas propios de los lenguajes intensionales en la teoria semantica mas reciente y se propone una semantica logica para los sistemas normales de logica modal asi como un procedimiento semantico de decision para algunos de estos sistemas. Tal procedimiento, basado en los arboles semanticos de smullyan, provee al logico de una herramienta util para desarrollar resultados metateoricos en el ambito de la logica modal clasica, asi como para extender estos resultados a otro tipo de logicas intensionales. finalmente, se describe un calculo logico para logica modal en sentido lato que, al estar emparentado con el procedimiento de arboles semanticos, se encuentra en forma normal de suyo, por lo que es facilmente implementable.
Datos académicos de la tesis doctoral ««arboles semanticos para logica modal con algunos resultados sobre sistemas normales»«
- Título de la tesis: «arboles semanticos para logica modal con algunos resultados sobre sistemas normales»
- Autor: Salguero Lamillar Francisco Jose
- Universidad: Sevilla
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Emilio Diaz Estevez
- Tribunal
- Presidente del tribunal: Jorge Perez Ballestar
- Luis Villegas Forero (vocal)
- Inmaculada Perez De Guzman Molina (vocal)
- Alfredo Burrieza Muñiz (vocal)