LOGICA MODAL

 
Página 1 de 1. Mostramos 12 registros (del 1 al 12) de un total de 12
  • Autor: MUÑOZ VELASCO EMILIO JOSÉ
    Año: 2002
    Universidad: MALAGA
    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 motiva ... [Sigue]
  • Autor: AUSIN DIEZ FRANCISCO JOSE
    Año: 1999
    Universidad: PAIS VASCO
    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 d ... [Sigue]
  • Autor: ROSSI JIMENEZ CARLOS
    Año: 2000
    Universidad: MALAGA
    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 ... [Sigue]
  • Autor: VILANOVA ARIAS JAVIER
    Año: 1995
    Universidad: SANTIAGO DE COMPOSTELA
    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 CONDICION ... [Sigue]
  • Autor: HUERTAS SANCHEZ M. ANTONIA
    Año: 1995
    Universidad: BARCELONA
    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 ACE ... [Sigue]
  • Autor: RIUS FONT MIQUEL
    Año: 1991
    Universidad: BARCELONA
    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 AMT ... [Sigue]
  • Autor: CASASNOVAS CASASNOVAS JAIME
    Año: 1989
    Universidad: 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 VALOR ... [Sigue]
  • Autor: SAGUILLO FERNANDEZ VEGA JOSE MIGUEL
    Año: 1988
    Universidad: SANTIAGO DE COMPOSTELA
    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 CONTRAFAC ... [Sigue]
  • Autor: CRESPO ARCE RAFAEL V.
    Año: 1987
    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 ... [Sigue]
  • Autor: FRIAS DELGADO ANTONIO
    Año: 1986
    Universidad: GRANADA
    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 ... [Sigue]
  • Autor: FARINAS DEL CERRO LUIS
    Año: 1983
    Universidad: COMPLUTENSE DE MADRID
  • Autor: FONT LLOVET JOSE M.
    Año: 1981
    Universidad: BARCELONA
    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 CORRE ... [Sigue]