Intensional and higher-order modal logic

[Berkeley,: [Berkeley (1972)
  Copy   BIBTEX

Abstract

INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, we have in mind an ...

Categories

Keywords

Call number

BC199.M6.G35

ISBN(s)

072040360X   9780720403602
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,412

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

Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Intensional Logic — Beyond First Order.Melvin Fitting - unknown
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.
Completeness in the theory of properties, relations, and propositions.George Bealer - 1983 - Journal of Symbolic Logic 48 (2):415-426.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
An essay in modal logic.G. H. von Wright - 1951 - Amsterdam,: North-Holland Pub. Co..
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
First-order intensional logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..

Analytics

Added to PP
2009-01-28

Downloads
76 (#187,095)

6 months
2 (#522,698)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.

View all 63 citations / Add more citations

References found in this work

No references found.

Add more references