Hybrid Type Theory: A Quartet in Four Movements

Hybrid Type Theory: A Quartet in Four Movements

Show other versions (1)

Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é...

Full description

Bibliographic Details
Main Authors: Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
Format: Article
Language:English
Published: Universidade Federal de Santa Catarina 2011-05-01
Series:Principia: An International Journal of Epistemology
Subjects:
Tense logic
intensional logic
type theory
modal logic
completeness
Online Access:https://periodicos.ufsc.br/index.php/principia/article/view/23368

Similar Items

Similar Items