Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics

Journal of Symbolic Logic 42 (4):581-583 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271880

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Daniel Gallin, Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics. [REVIEW]Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Gallin Daniel. Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol. 19. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, ix + 148 pp. [REVIEW]Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
First-order intensional logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.
Intensional Logic — Beyond First Order.Melvin Fitting - unknown
Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
An approach to intensional logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.
Higher-Order Modal Logic—A Sketch.Melvin Fitting - unknown
Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
An Intensional Schrödinger Logic.Newton C. A. da Costa & Décio Krause - 1997 - Notre Dame Journal of Formal Logic 38 (2):179-194.
A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification.Max Alberto Freund - 2015 - Australasian Journal of Logic 12 (1).
A comparison of two intensional logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.

Analytics

Added to PP
2017-02-21

Downloads
20 (#767,589)

6 months
9 (#308,642)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Models and reality.Robert Stalnaker - 2016 - Canadian Journal of Philosophy 46 (4-5):709-726.
The Meaning of Too, Enough, and So... That.Cécile Meier - 2003 - Natural Language Semantics 11 (1):69-107.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references