LOGICA MODAL

Autor: MUÑOZ VELASCO EMILIO JOSÉ.
Año: 2002.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: 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)], [Belnap(1996)], [Chellas (1992)], [Kutschera(1993)], [Reynolds(1997)], [Thomason(1984)], [Thomason and Gupta(1981)], [Van Fraassen(1981)], [Zanardo(1986)], [Fagin, Halpern, Moses and Vardi(1995)]. Para cada una de las lógicas introducidas en el trabajo, hemos contemplado cuatro aspectos fundamentales: 1,- El diseño de un lenguaje adecuado, introduciendo conectivas que permiten especificar el acceso a información en instantes asociados a un flujo temporal (nombrado o no). 2,- Introduciendo una semántica novedosa de estilo algebraico, que incorpora clases de funciones de accesibilidad entre flujos temporales. 3,- Definiendo sistemas axiomáticos que permitan caracterizar sintácticamente la noción de validez semántica. 4,- El análisis de corrección y completitud de las teorías introducidas.

Autor: ROSSI JIMENEZ CARLOS.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: E.T.S.I. INFORMATICA.

Resumen: En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas Lnint y Lnint-e respectivamente, que, en nuestra opinión, suponen un avance significativo al lograr integrar de modo natural puntos e intervalos, las visiones absoluta y relativa del tiempo y el tratamiento de eventos, procesos y hechos. Además, en la lógica Lnint-e se introducen los conceptos de clases y ejecuciones de eventos. Su semántica es topológica, una destacada novedad respecto a la bibliografía existente en lógica de intervalos. Esta semántica aporta una gran simplificación a la demostración de los resultados teóricos y facilita el desarrollo en demostración automática de teoremas. En el área de Razonamiento Temporal, completamos dos de las tareas necesarias para la construcción de un demostrador automático de teoremas para Lnint-e. Concretamente, se eligen adecuadamente las fórmulas de Lnint-e. Además, describimos un algoritmo eficiente que dada una fórmula arbitraria de Lnint-e, la transforma en una fórmula equivalente que es una forma normal. La definición de forma normal se basa en un conjunto de transformaciones que simplifican las fórmulas de diferentes formas como, por ejemplo, la eliminación de constantes, la eliminación de conectivas binarias o la reducción del rango de éstas. Por último, y para contrastar la utilidad de nuestras lógicas en Computación, presentamos una especificación en Lnint-e de la técnica de los diagramas de transición de estados. Aunque en la literatura se encuentran diversas formalizaciones de los diagramas de estados, ninguna de las que conocemos plantea la utilización de conectivas temporales de intervalos. Nuestra aproximación también es novedosa por la riqueza en la especificación de acciones asociadas a estados y transiciones.

Autor: AUSIN DIEZ FRANCISCO JOSE.
Año: 1999.
Universidad: PAIS VASCO.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUACION.
Centro de realización: FACULTAD DE FILOSOFIA Y CC.EE.(UPV/EHU).

Resumen: Este es un trabajo de lógica deóntica jurídica, es decir, un análisis de las inferencias normativas juridicas, de las condiciones en que un razonamiento jurídico que incluya las calificaciones de prohibición, deber o permiso resulta correcto. Nuestro punto de partida lo constituyen los dos problemas más graves que ha padecido un posible tratamiento lógico de las inferencias normativas jurídicas; las paradojas y los conflictos normativos. En relación a las paradojas se han ensayado múltiples intentos de solución que, como mostramos, resultan finalmente vanos. El origen y persistencia del problema radica, a nuestro entender, en el mantenimiento de ciertos principios y reglas de inferencia que impiden a las lógicas deónticas asi definidas dar cuenta del fenómeno de las obligaciones sobrevenidas o de mal menor. En cuanto a los conflictos o contradicciones normativas, su constatación ha llevado a algunos autores a desechar la posibilidad de un análisis lógico de las normas, sobre la base del principio de Pseudo-Escoto:De una contradicción se puede deducir cualquier enunciado. Por todo ello, planteamos en las conclusiones una serie de orientaciones básicas para un adecuado tratamiento lógico del razonamiento normativo jurídico, libre de paradojas, que pueda asimilar los conflictos normativos y que dé cuenta de las inferencias jurídicas básicas. Estas lineas metodológicas, que se concretan también en un calculo axiomático alternativo, se resumen en:1) alejamiento del paradigma modal en lógica deóntica; 2)introducción de principios de no impedimento;3)perspectiva paraconsistente; 4)uso de cuantificadores.

Autor: HUERTAS SANCHEZ M. ANTONIA.
Año: 1995.
Universidad: BARCELONA.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: LOGICA, HISTORIA I FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA, HISTORIA Y FILOSOFIA DE LA CIENCIA.

Resumen: EN ESTA TESIS SE ESTUDIA LA LOGICA MODAL DE PREDICADOS. CUANDO ESTA ES COMPARADA CON LA LOGICA MODAL PROPOSIONAL, RESULTA DESCONCERTANTE EL HECHO DE QUE LA PROPOSICIONAL HAYA SIDO BIEN CONOCIDA Y ACEPTADA DESDE KRIPKE (1963) Y, SIN EMBARGO, LA DE PREDICADOS SEA TODAVIA POCO CONOCIDA Y SUFRA UNA CRISIS DE IDENTIDAD. ESTUDIAMOS LA RAZON DE ESTOS DOS COMPORTAMIENTOS TAN DIFERENTES. SE CONOCE LA CORRESPONDENCIA ENTRE LOGICA MODAL PROPOSICIONAL Y LOGICA CLASICA DE PRIMER ORDEN, EN ESTA TESIS SE DEMUESTRA LA CORRESPONDENCIA ENTRE LA LOGICA MODAL DE PREDICADOS Y LA LOGICA HETEROGENEA PARCIAL QUE SE CONSTRUYE A TAL EFECTO. COMO CONSECUENCIA SE DEBE ACEPTAR QUE LA SEMATICA DEBE SER PARCIAL. BASANDOSE EN LA TRADUCCION DEFINIDA ENTRE LOGICA MODAL DE PREDICADOS Y LA HETEROGENEA PARCIAL SE DEFINE LA LOGICA MODAL DE PREDICADOS PARCIAL CON IGUALDAD, Y SE DEMUESTRAN PARA ELLA LOS TEOREMAS DE COMPLETITUD, COMPACIDAD Y LOWENHEIM-SKOLEM.

Autor: VILANOVA ARIAS JAVIER.
Año: 1995.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: DEPARTAMENTO: LOGICA Y FILOSOFIA DE LA CIENCIA. PROGRAMA DE DOCTORADO: "LENGUAJE, TEORIA Y PRAXIS" NUMERO 29-2 DE LA USC BIENIO 1991-1993.

Resumen: ANALISIS LOGICO (FORMAL E INFORMAL) DE LOS ENUNCIADOS CONDICIONALES DE LOS LENGUAJES NATURALES. PARA ELLO, SE DEFINE EL SISTEMA DE LOGICA MULTICONDICIONAL MCL, QUE INCLUYE CUATRO OPERADORES CONDICIONALES DIFERENTES: IMPLICACION ANALITICA, IMPLICACION FISICA, IMPLICACION ACTUAL E IMPLICACION CONTINGENTE. EN LA DIMENSION SEMANTICA SE DEFINE LA CLASE DE MODELOS DE SIMILARIDAD MATERIAL, SM-MODELOS, MODELOS BASADOS EN RELACIONES DE SIMILARIDAD (DEFINIDAS MATERIALMENTE) ENTRE MUNDOS POSIBLES. EN BASE A LA LOGICA Y SEMANTICA DEFINIDAS, SE ANALIZAN Y EXPLICAN DIVERSOS ASPECTOS Y PROBLEMAS IMPORTANTES EN TORNO A LOS ENUNCIADOS CONDICIONALES: VAGUEDAD CONTEXTUAL; DISTINCION ENTRE SUBJUNTIVO E INDICATIVO; ANTECEDENTES ABSURDOS, O IMPOSIBLES; POLEMICA ENTRE LOS PARADIGMAS DE LA MAXIMA, MEDIANA Y MINIMA SIMILARIDAD.

Autor: RIUS FONT MIQUEL.
Año: 1991.
Universidad: BARCELONA.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: LOGICA HISTORIA I FILOSOFIA DE LA CIENCIA PROGRAMA DE DOCTORADO: LOGICA MATEMATICA.

Resumen: EL OBJETIVO DE LA MEMORIA ES DEFINIR Y ESTUDIAR UNA CLASE DE LOGICAS ABSTRACTAS (LAS LOGICAS MODALES TETRAVALENTES (LMT)) RELACIONADAS CON LAS ALGEBRAS MODALES TETRAVALENTES (AMTS) ESTUDIAMOS LAS AMTS DESDE UNA PERSPECTIVA LOGICA E INTRODUCIMOS LAS LMTS COMO LA GENERALIZACION A ALGEBRAS DE TIPO ADECUADO DE LA LOGICA DE TODOS LOS FILTROS SOBRE UNA AMT. ESTUDIAMOS CON TECNICAS DE LA MODERNA LOGICA ALGEBRAICA LAS PROPIEDADES DE LAS LMTS. Y DAMOS UNA PRESENTACION SEMANTICA DE LAS MISMAS. SOBRE EL ALGEBRA SENTENCIAL DEFINIMOS UN SISTEMA DEDUCTIVO, EN EL SENTIDO DE BLOK Y PIGOZZI, RELACIONADO CON LAS LMTS. SISTEMA DEL QUAL ESTUDIAMOS LAS MATRICES. LAS MATRICES GENERALIZADAS Y LOS MODELOS. ACABAMOS DEMOSTRANDO QUE LAS LMTS NO SON ALGEBRIZABLES, Y QUE POR TANTO SU ESTUDIO NO ENTRA EN EL AMBITO DE LA TEORIA GENERAL DE LOGICAS ALGEBRIZABLES DE BLOK Y PIGOZZI.

Autor: CASASNOVAS CASASNOVAS JAIME.
Año: 1989.
Universidad: ISLAS BALEARES.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD DE LAS ISLAS BALEARES.

Resumen: EL PROBLEMA QUE TRATA LA TESIS ES EL DE LA INFERENCIA DE VALORACIONES SOBRE MANIFESTACIONES MODALES A PARTIR DE OTRAS, MEDIANTE EL PROCEDIMIENTO DE REFERIR TODOS LOS DATOS A UNA TABLA FINITA DE VALORES. LAS MANIFESTACIONES QUE SE CONSIDERAN SON LAS GENERADAS POR EL PROCEDIMIENTO DE INTRODUCIR SINTACTICAMENTE UN OPERADOR MONARIO EN UN ALGEBRA DE PROPOSICIONES, CON LAS PROPIEDADES CONVENCIONALES DE UN OPERADOR MODAL EL ALGEBRA DE PROPOSICIONES SE CONSIDERA COMO UN ALGEBRA DE FUNCIONES (BIVALUADOS O MULTIVALUADOS) SOBRE UN CONJUNTO FINITO DE REFERENCIA. POR OTRA PARTE, SE DEFINE DE FORMA MUY GENERAL EL CONCEPTO DE "CONOCIMIENTO INCOMPLETO" DE UNA FUNCION Y SE ESTUDIAN ALGUNOS CONCEPTOS Y OPERACIONES FUNDAMENTALES, TALES COMO "ACUMULACION", "DISYUNCION" "ORDENACION", ETC. SE DEFINE Y SE ESTUDIAN LAS PROPIEDADES DE UN CONOCIMIENTO INCOMPLETO "INFERIDO DIRECTAMENTE" DE OTRO CONOCIMIENTO PREVIO. EL CONOCIMIENTO INCOMPLETO DE UNA VALORACION O DE UNA DISTRIBUCION DE POSIBILIDAD PERMITE DESARROLLAR EL CONCEPTO DE CONOCIMIENTO INCOMPLETO "CERRADO" DESDE EL PUNTO DE VISTA DE LAS RELACIONES LOGICAS QUE ESTRUCTURARAN EL ALGEBRA SOBRE EL QUE ESTABAN DEFINIDAS LAS VALORACIONES RECIBE EL NOMBRE DE "CONOCIMIENTO EPISTEMICO". EL TEOREMA FUNDAMENTAL ES EL QUE RELACIONA LOS CONOCIMIENTOS INCOMPLETOS MEJORES DESDE EL PUNTO DE VISTA LOGICO CON LOS QUE SE INFIEREN DE EL, MEDIANTE EL PROCEDIMIENTO DE LA INFERENCIA DIRECTA. SE ESTUDIA COMPLETAMENTE EL CASO EN QUE LAS PROPOSICIONES SEAN BOOLEANAS Y LAS MANIFESTACIONES MODALES SEAN MULTIVALUADAS (MEDIDAS DE POSIBILIDAD).

Autor: SAGUILLO FERNANDEZ VEGA JOSE MIGUEL.
Año: 1988.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION .
Centro de realización: FACULTAD DE FILOSOFIA Y CC. DE LA EDUCACION (DEPARTAMENTO DE LOXICA E FILOSOFIA DE CIENCIA)..

Resumen: UNO DE LOS PROBLEMAS MAS RECALCITRANTES AL TRATAMIENTO LOGICO EXTENSIONAL ESTANDAR ES EL DE LA FORMALIZACION DE LOS ENUNCIADOS CAUSALES, LEYES DE LA NATURALEZA, ENUNCIADOS DISPOSICIONALES Y CONTRAFACTICOS. EN LA TESIS DOCTORAL SE PRESENTA UNA VERSION DESDE EL PUNTO DE VISTA DE LA DEDUCCION NATURAL DEL CALCULO DE LAS PROPOSICIONES CAUSALES DE A. BURKS, QUE INCORPORA NO SOLO MODALIDADES LOGICAS SINO TAMBIEN MODALIDADES FISICAS. SE PRESENTAN TRES ENFOQUES SEMANTICOS DISTINTOS PARA DICHO CALCULO, ESTABLECIENDOSE SEIS RESULTADOS METATEORICOS: 1. CONSISTENCIA SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 1. 2. INCOMPLETUD SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 1. 3. CONSISTENCIA SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 2. 4. INCOMPLETUD SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 2. 5. CONSISTENCIA SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 3. 6. COMPLETUD SEMANTICA CON RESPECTO AL ENFOQUE SEMANTICO 3 MEDIANTE PRUEBA TIPO HENKIN. FINALMENTE SE DISCUTE Y ANALIZA BAJO NUEVAS PERSPECTIVAS REALISTAS EL PROBLEMA FILOSOFICO DE LA IDENTIDAD TRANSMUNDANA.

Autor: CRESPO ARCE RAFAEL V..
Año: 1987.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: DEPTO. DE LINGUISTICA LENGUAS MODERNAS, LOGICA Y FILOSOFIA DE LA CIENCIA. FACULTAD DE FILOSOFIA Y LETRAS, UNIVERSIDAD AUTONOMA DE MADRID.

Resumen: EN LA PRIMERA PARTE DEL TRABAJO SE RESUMEN LAS TECNICAS FORMALES Y LAS PRINCIPALES CARACTERISTICAS DEL PARADIGMA DE R. MONTAGUE, DENTRO DEL CUAL SE INSCRIBE LA PROPUESTA DEL DOCTORADO. PRECISANDO MAS, LO QUE SE PROPONE ES ILUSTRAR ESTE PARADIGMA EN EL AREA IMPORTANTE Y PROBLEMATICA DE LOS ENUNCIADOS DE CREENCIA. LA APORTACION PERSONAL DE D. RAFAEL V. CRESPO ARCE SE CONCRETA EN DOS PROPUESTAS: (1) INTERPRETACION DEL SISTEMA MODAL KT CON LAS LECTURAS INDUDABLEMENTE Y CREIBLEMENTE PARA LOS OPERADORES DE NECESIDAD Y POSIBILIDAD, RESPECTIVAMENTE. (2) FORMALIZACION DE LA PARTICULA QUE EN SUS APARICIONES TRAS VERBOS COMO CREER POR MEDIO DE UN RIGIDIFICADOR DE FRASES NOMINALES DIHAT, TOMADO DE KAPIAN Y GENERALIZADO PARA UN LENGUAJE INTENSIONAL DE ORDEN SUPERIOR.

Autor: FRIAS DELGADO ANTONIO.
Año: 1986.
Universidad: GRANADA .
Centro de lectura: FILOSOFIA Y LETRAS.
Centro de realización: FACULTAD DE FILOSOFIA Y LETRAS..

Resumen: LA LOGICA MODAL DE LA DEMOSTRABILIDAD ES UN IMPORTANTE CAMPO DE LA LOGICA ACTUAL EN EL QUE LOS SISTEMAS MODALES SE UTILIZAN COMO INSTRUMENTO PARA ESTUDIAR LAS PROPIEDADES BASICAS DE LA DEDUCIBILIDAD O DEMOSTRABILIDAD EN OTROS SISTEMAS FORMALES PRINCIPALMENTE MATEMATICOS. EN ESTE TRABAJO (1) SE RECOPILA EL ABURVANTE MATERIAL EXISTENTE SOBRE EL TEMA; (2) SE CONTEXTUALIZAN HISTORICAMENTE LAS PRINCIPALES APORTACIONES; (3) SE CONSTRUYE UN CALCULO DE DEDUCCION NATURAL PARA LA LOGICA ESTANDAR DE LA DEMOSTRABILIDAD Y SE PRUEBAN SUS PROPIEDADES NETOLOGICAS Y ARITMETICAS (CORRECCION Y COMPLETUD MODALES Y ARITMETICAS); (4) SE CONSTRUYE UN CALCULO MODAL PARA REPRESENTAR DE MODO INTENSIONALMENTE CORRECTO LA PROPIA DEDUCIBILIDAD.

Autor: FARINAS DEL CERRO LUIS.
Año: 1983.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: MATEMATICAS.
Centro de realización: L.S.I. UNIVERSITA PAUL SASETIES TOULOUSE..

Autor: FONT LLOVET JOSE M..
Año: 1981.
Universidad: BARCELONA.
Centro de lectura: MATEMATICAS.
Centro de realización: UNIVERSIDAD DE BARCELONA FACULTAD DE MATEMATICAS DEPARTAMENTO DE ESTADISTICA MATEMATICA DEPARTAMENTO DE ALGEBRA Y FUNDAMENTOS..

Resumen: SE ESTUDIAN TRES SISTEMAS DE LOGICA MODAL INTUICIONISTA Y SUS MODELOS ALGEBRAICOS CON LAS TECNICAS DE H. RASIOWA Y A. MONTEIRO Y SUS ESCUELAS. IM4 ES EL SISTEMA ANALOGO INTUICIONISTA DE S4 Y LE CORRESPONDEN LAS ALGEBRAS DE HEYTING (PSEUDO-BOOLEANAS) TOPOLOGICAS. ADEMAS DE CUESTIONES GENERALES SE ESTUDIAN LOS SISTEMAS DEDUCTIVOS Y LA LOGICA ABSTRACTA A QUE ESTOS DAN LUGAR QUE ES DE TIPO INTUICIONISTA. SE CARACTERIZAN DIVERSOS TIPOS DE SISTEMAS DEDUCTIVOS OTROS CONCEPTOS ALGEBRAICOS ASOCIADOS Y ESE MISMO CONCEPTO EN TERMINOS DE TRES NUEVAS OPERACIONES DE IMPLICACION; UNA DE ELLAS P=Q = L(P Q) PERMITE DAR FORMALIZACIONES ALGEBRAICAS Y LOGICAS PRESCINDIENDO TOTALMENTE DEL OPERADOR DE NECESIDAD. LOS SISTEMAS IM5 Y IMC SON ANALOGOS A S5 SIENDO IMC INTUICIONISTICAMENTE NO PLAUSIBLE SE ESTUDIA N SUS MODELOS LAS ALGEBRAS MONADICAS Y SEMISIMPLES DIVERSAS PROPIEDADES ALGEBRAICAS Y ESPECIALMENTE SUS POSIBLES DEFINICIONES BIEN ALGEBRAICAS BIEN USANDO CONDICIONES CLASICAS SOBRE UN OPERADOR DE CLAUSURA (POSIBILIDAD) DERIVADO DEL INTERIOR (NECESIDAD). SE DESARROLLAN CON DETALLE NUMEROSOS EJEMPLOS Y CONTRAEJEMPLOS.