- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Intensional and higher-order modal logic: with applications to Montague semantics
New York: American Elsevier Pub. Co. (1975)
Abstract
CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ...Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics.Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
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.
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.
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Hauptsatz for higher-order modal logic.Hirokazu Nishimura - 1983 - Journal of Symbolic Logic 48 (3):744-751.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.Shalom Lappin & C. Fox - unknown
A Manual of Intensional Logic.Johan F. A. K. Van Benthem - 1988 - Stanford, CA, USA: Center for the Study of Language and Information Publications.
Analytics
Added to PP
2009-01-28
Downloads
141 (#132,062)
6 months
13 (#276,041)
2009-01-28
Downloads
141 (#132,062)
6 months
13 (#276,041)
Historical graph of downloads
Citations of this work
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
Adjectival vagueness in a Bayesian model of interpretation.Daniel Lassiter & Noah D. Goodman - 2017 - Synthese 194 (10):3801-3836.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-kkm7k uwo