Summa Logicae - Universidad de Salamanca

Research Workshop in Hybrid Intensional Logic - Summa Logicae
283
wp-singular,post-template-default,single,single-post,postid-283,single-format-standard,wp-theme-bridge,wp-child-theme-bridge-child,cookies-not-set,bridge-core-1.0.4,ajax_fade,page_not_loaded,,qode-title-hidden,qode-child-theme-ver-1.0.0,qode-theme-ver-18.0.8,qode-theme-bridge,disabled_footer_top,qode_advanced_footer_responsive_1000,wpb-js-composer js-comp-ver-7.6,vc_responsive

20 Ene 2025 Research Workshop in Hybrid Intensional Logic

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Híbrida by

Depositado por: Maria Manzano, e-mail: mara@usal.es

Depositado el: 13-12-2017

Autor: FFI2013-47126

Fecha de creación: 13-12-2017

Página Web:

Idioma: Inglés/English

Formato: .pdf (Adobe)

TipoTítuloArchivoOpciones
SesiónHybrid Type Theory. Antonia Huertas, María Manzano, Manuel MartinsAntoniaHuertas_LINHY201_2017.pdfDescargar
SesionAn Inconsistent Accessibility Relation in Hybrid Logic. Diana CostaDianaCosta_LINHY2017.pdfDescargar
SesiónIntensions, Types and Existence. Manuel CrescencioManuelCrescencio_LINHY2017.pdfDescargar
SesionA sutdy of Negative Modalities. Joao MarcosJoaoMarcos_LINHY2017.pdfDescargar
SesiónAn Analysis of Imagination Acts. Joan CasasJoanCasasRoma_LINHY2017.pdfDescargar
SesiónEquational Hybrid Propositional Type Theory. Manuel Martons, maría manzano, Antonia HuertasSalamanca.pdfDescargar
ResumenHybrid Intensional Logic. María ManzanoBeamerHybridINtensionalLogicUSALbis.pdfDescargar
No Comments

Sorry, the comment form is closed at this time.