Completeness in Hybrid Type Theory-Reference-Cited by-同舟云学术

Completeness in Hybrid Type Theory

Published:2013-01-10 Issue:2-3 Volume:43 Page:209-238
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Areces Carlos,Blackburn Patrick,Huertas Antonia,Manzano María

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s10992-012-9260-4.pdf

Reference34 articles.

1. Areces, C., & Blackburn, P. (2005). Reichenbach, Prior and Montague: a semantic get-together. In We will show them: Essays in honour of Dov Gabbay on his 60th birthday (Vol. 1, pp. 77–87). Woodend: College Publications.

2. Areces, C., Blackburn, P., Manzano, M., Huertas, A. (2011). Hybrid type theory: a quartet in four movements. Principia: an International Journal of Epistemology, 15(2), 225–247.

3. Areces, C., & Ten Cate, B. (2007). Hybrid logic. In Handbook of modal logic (pp. 821–868). New York: Elsevier.

4. Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159–219.

5. Blackburn, P. (2000). Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8, 339–365.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ¿Lógica o lógicas? Algunas reflexiones en torno a la fundamentación y las aplicaciones de las lógicas no clásicas. Entrevista a la Dra. María José Frápolli;Andamios, Revista de Investigación Social;2023-10-27

2. HYBRID PARTIAL TYPE THEORY;The Journal of Symbolic Logic;2023-05-29

3. Completeness in partial type theory;Journal of Logic and Computation;2023-02-20

4. Exorcising the phantom zone;Information and Computation;2021-05

5. The logic of imaginary scenarios;Logic Journal of the IGPL;2020-02-01