Second‐Order Intensional Logic

Mathematical Logic Quarterly 18 (19‐20):297-320 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19720181904

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Second‐Order Intensional Logic.M. J. Cresswell - 1972 - Mathematical Logic Quarterly 18 (19-20):297-320.
Classical second-order intensional logic with maximal propositions.Charles B. Daniels & James B. Freeman - 1977 - Journal of Philosophical Logic 6 (1):1 - 31.
How to Russell Another Meinongian.Gregory Landini - 1990 - Grazer Philosophische Studien 37 (1):93-122.
How to Russell Another Meinongian.Gregory Landini - 1990 - Grazer Philosophische Studien 37 (1):93-122.
Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic. [REVIEW]Johan Van Benthem - 1986 - Journal of Symbolic Logic 51 (3):824-826.
Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (4):754-754.
Review: M. J. Cresswell, Logics and Languages. [REVIEW]Daniel Gallin - 1977 - Journal of Symbolic Logic 42 (3):425-426.
Review: M. J. Cresswell, The Interpretation of Some Lewis Systems of Modal Logic. [REVIEW]Terence Parsons - 1972 - Journal of Symbolic Logic 37 (2):417-418.

Analytics

Added to PP
2013-12-01

Downloads
21 (#173,985)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Max Cresswell
Victoria University of Wellington

Citations of this work

Add more citations

References found in this work

An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
On modal logic with propositional quantifiers.R. A. Bull - 1969 - Journal of Symbolic Logic 34 (2):257-263.

View all 17 references / Add more references