Please use this identifier to cite or link to this item:
Title: Hybrid type theory: a quartet in four movements
Author: Areces, Carlos
Blackburn, Patrick
Huertas Sánchez, María Antonia
Manzano Arjona, María
Others: Universidad Nacional de Córdoba
University of Roskilde
Universidad de Salamanca
Universitat Oberta de Catalunya (UOC)
Keywords: tense logic
intensional logic
type theory
modal logic
Issue Date: Jan-2011
Publisher: Principia: revista internacional de epistemologia
Citation: Areces, C., Blackburn, P., Huertas, M.A. & Manzano Arjona, M. (2011). Hybrid Type Theory: A Quartet in Four Movements. Principia: revista internacional de epistemologia, 15(2), 225-247. doi: 10.5007/1808-1711.2011v15n2p225
Project identifier: info:eu-repo/grantAgreement/FFI2009-09345/FISO
Also see:
Abstract: This paper sings a song -a song created by bringing 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 paper does not focus on the underlying technicalities (these can be found in Areces, Blackburn, Huertas, and Manzano [to appear]) rather it focusses on the underlying instruments, and the way they work together. We hope the reader will be tempted to sing along.
Language: English
ISSN: 1808-1711MIAR
Appears in Collections:Articles

Files in This Item:
File Description SizeFormat 
Huertas_Principia_Hybrid.pdf195.42 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons