La logique intensionnelle et les langues naturelles
Mathématiques et sciences humaines, Tome 79 (1982), pp. 5-36. 
@article{MSH_1982__79__5_0,
     author = {Santha, Miklos},
     title = {La logique intensionnelle et les langues naturelles},
     journal = {Math\'ematiques et sciences humaines},
     pages = {5--36},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {79},
     year = {1982},
     mrnumber = {686067},
     zbl = {0494.03021},
     language = {fr},
     url = {http://archive.numdam.org/item/MSH_1982__79__5_0/}
}
TY  - JOUR
AU  - Santha, Miklos
TI  - La logique intensionnelle et les langues naturelles
JO  - Mathématiques et sciences humaines
PY  - 1982
SP  - 5
EP  - 36
VL  - 79
PB  - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
UR  - http://archive.numdam.org/item/MSH_1982__79__5_0/
LA  - fr
ID  - MSH_1982__79__5_0
ER  - 
%0 Journal Article
%A Santha, Miklos
%T La logique intensionnelle et les langues naturelles
%J Mathématiques et sciences humaines
%D 1982
%P 5-36
%V 79
%I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
%U http://archive.numdam.org/item/MSH_1982__79__5_0/
%G fr
%F MSH_1982__79__5_0
Santha, Miklos. La logique intensionnelle et les langues naturelles. Mathématiques et sciences humaines, Tome 79 (1982), pp. 5-36. http://archive.numdam.org/item/MSH_1982__79__5_0/

[1] Andrews P., "A reduction of the axioms for the theory of propositional types", Fund. Math., 52 (1963), 345-350. | MR | Zbl

[2] Carnap R., Meaning and necessity, Chicago, 1947. | MR | Zbl

[3] Church A., A formulation of the logic of sense and denotation, in Structure, method and meaning, New York, éd. Henle Paul et al., 1951. | Zbl

[4] Dowty D.R., Wall R.E., Peters S., Introduction to Montague Semantics, Dordrecht, P. Reidel Publishing Company, 1981.

[5] Frege G., "Über Sinn und Bedeutung", Zeitschrift für Philosophie und philosophische Kritik, 100 (1892), 25-50.

[6] Gallin D., Intensional and higher-Order Modal Logic, Amsterdam, North Holland, 1975. | MR | Zbl

[7] Guenther F., Studies in formal semantics : intensionality, temporality, negation, Amsterdam, North Holland, 1973.

[8] Henkin L., "Completeness in the theory of types", Journal of Symbolic Logic, 15 (1950), 81-91. | MR | Zbl

[9] Henkin L., "A theory of propositional types", Fund. Math., 52 (1963), 323-344. | MR | Zbl

[10] Humes G.E., Creswell M.J., An introduction to modal logic, London, 1968. | Zbl

[11] Kaplan D., Foundations of intensional logic, Doctoral dissertation, University of California at Los Angeles, 1964.

[12] Kratzer A., Conditional Necessity and Possibility, in Semantics from different points of view, Berlin, éd. R. Boinesle, U. Egli, A. von Stechow, Springer-Verlag, 1979.

[13] Kripke S., "Semantical analysis of modal logic I", Z. Math. Logik Grundlagen Math., 9 (1963), 67-96. | MR | Zbl

[14] Kripke S., "Semantical considerations on medal logic", Acta Philosophica Fennica, 16 (1963), 95-121. | MR | Zbl

[15] Montague R., Formal philosophy : selected papers of Richard Montague, New Haven, éd. Thomason, 1974.