Hybrid Type Theory: A Quartet in Four Movements
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...
Main Authors: | Antonia Huertas, María Manzano, Patrick Blackburn, Carlos Areces |
---|---|
Format: | Article |
Language: | English |
Published: |
Universidade Federal de Santa Catarina
2011-08-01
|
Series: | Principia: An International Journal of Epistemology |
Subjects: | |
Online Access: | http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p225/21038 |
Similar Items
-
Hybrid Type Theory: A Quartet in Four Movements
by: Carlos Areces, et al.
Published: (2011-05-01) -
Completeness in tense logic
by: Ndabarasa, Emmanuel.
Published: (1980) -
A lÃgica das entidades intensionais
by: Francisco Gomes Martins
Published: (2012) -
In search of the person. Towards a real revolution
by: Michał Oleksowicz
Published: (2016-03-01) -
Operator arguments revisited
by: Fritz, P., et al.
Published: (2019)