Principia: An International Journal of Epistemology 15 (2):225 (2011)
| Authors |
|
| Abstract |
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 é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e Manzano [no prelo]), e sim nos instrumentos subjacentes e no modo como trabalham em conjunto. Esperamos que o leitor fique tentado a cantar junto. DOI:10.5007/1808-1711.2011v15n2p225
|
| Keywords | lógica intensional Tense logic lógica modal Lógica do tempo intensional logic type theory completude. teoria de tipos modal logic completeness |
| Categories | (categorize this paper) |
| Reprint years | 2012 |
| DOI | 10.5007/1808-1711.2011v15n2p225 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 51,304
External links
- From the Publisher via CrossRef (no proxy)
- periodicos.ufsc.br
(no proxy) - periodicos.ufsc.br [2] (no proxy)
- periodicos.ufsc.br [3] (no proxy)
- periodicos.ufsc.br [4] (no proxy)
- doaj.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
View all 22 references / Add more references
Citations of this work BETA
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Hybrid Logic as Extension of Modal and Temporal Logic.Daniel Álvarez Domínguez - 2019 - Revista de Humanidades de Valparaíso 13:34-67.
Similar books and articles
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Extending Montague's System: A Three Valued Intensional Logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Logic, Planning Agency and Branching Time.Ricardo Souza Silvestre - 2010 - Principia: An International Journal of Epistemology 14 (3):421-438.
Logic and Intensionality.Guido Imaguire - 2010 - Principia: An International Journal of Epistemology 14 (1):111-24.
Logic TK: Algebraic Notions From Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.
Non-Alethic Meinongian Logic.Nicola Grana - 2010 - Principia: An International Journal of Epistemology 14 (1):99-110.
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - American Elsevier Pub. Co..
Intensional Completeness in an Extension of Gödel/Dummett Logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
Analytics
Added to PP index
2013-04-12
Total views
67 ( #137,836 of 2,330,104 )
Recent downloads (6 months)
2 ( #393,046 of 2,330,104 )
2013-04-12
Total views
67 ( #137,836 of 2,330,104 )
Recent downloads (6 months)
2 ( #393,046 of 2,330,104 )
How can I increase my downloads?
Downloads
