Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Sistemas Lógicos :: Lógica Híbrida
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   13-12-2017
*Título   Research Workshop in Hybrid Intensional Logic
*Autor   FFI2013-47126
*Fecha de creación   13-12-2017
Página Web  
*Idioma   Inglés/English
*Formato   .pdf (Adobe)
*Claves
Tipo Título Archivo Opciones
Sesion Hybrid Type Theory. Antonia Huertas, María Manzano, Manuel Martins AntoniaHuertas_LINHY201_2017.pdf
Sesion An Inconsistent Accessibility Relation in Hybrid Logic. Diana Costa DianaCosta_LINHY2017.pdf
Sesion Intensions, Types and Existence. Manuel Crescencio ManuelCrescencio_LINHY2017.pdf
Sesion A sutdy of Negative Modalities. Joao Marcos JoaoMarcos_LINHY2017.pdf
Sesion An Analysis of Imagination Acts. Joan Casas. JoanCasasRoma_LINHY2017.pdf
Sesion Equational Hybrid Propositional Type Theory. Manuel Martons, maría manzano, Antonia Huertas Salamanca.pdf
Resumen Hybrid Intensional Logic. María Manzano BeamerHybridINtensionalLogicUSALbis.pdf

     << Atras