Switch to: Citations

References in:

Hauptsatz for higher-order modal logic

Hirokazu Nishimura

Journal of Symbolic Logic 48 (3):744-751 (1983)

Add references

You must login to add references.

Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.details Linguistic Universals in Philosophy of Language Universal Grammar in Philosophy of Language Direct download (2 more) Export citation Bookmark 308 citations
Pragmatics and intensional logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.details Character and Content in Philosophy of Language Modal and Intensional Logic in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 83 citations
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details Modal Logic in Logic and Philosophy of Logic Semantics for Modal Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 264 citations
Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.details Modal and Intensional Logic in Logic and Philosophy of Logic Export citation Bookmark 15 citations
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details Proof Theory in Logic and Philosophy of Logic Export citation Bookmark 165 citations

1