1. CONICET
  2. Producciónes CyT
Producción CyT

Volume of Abstracts CLMPS 2011 - The bird of the hybrid type theory

Congreso

Autoría:

Blackburn, P. ; Manzano, M. ; ARECES, CARLOS EDUARDO ; Huertas, A.

Fecha:

2011

Editorial y Lugar de Edición:

Congress Secretariat

Resumen *

This paper brings together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present contribution does not focus on the underlying technicalities; rather it focuses on the underlying instruments and the way they work together. Información suministrada por el agente en SIGEVA

Palabras Clave

Type TheoryHybrid LogicsModal Logics