Logique modale propositionnelle : une vue cavalière
Mathématiques et sciences humaines, Tome 57 (1977), pp. 27-42. 
@article{MSH_1977__57__27_0,
     author = {Eytan, M.},
     title = {Logique modale propositionnelle : une vue cavali\`ere},
     journal = {Math\'ematiques et sciences humaines},
     pages = {27--42},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {57},
     year = {1977},
     mrnumber = {450010},
     zbl = {0374.02012},
     language = {fr},
     url = {http://archive.numdam.org/item/MSH_1977__57__27_0/}
}
TY  - JOUR
AU  - Eytan, M.
TI  - Logique modale propositionnelle : une vue cavalière
JO  - Mathématiques et sciences humaines
PY  - 1977
SP  - 27
EP  - 42
VL  - 57
PB  - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
UR  - http://archive.numdam.org/item/MSH_1977__57__27_0/
LA  - fr
ID  - MSH_1977__57__27_0
ER  - 
%0 Journal Article
%A Eytan, M.
%T Logique modale propositionnelle : une vue cavalière
%J Mathématiques et sciences humaines
%D 1977
%P 27-42
%V 57
%I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
%U http://archive.numdam.org/item/MSH_1977__57__27_0/
%G fr
%F MSH_1977__57__27_0
Eytan, M. Logique modale propositionnelle : une vue cavalière. Mathématiques et sciences humaines, Tome 57 (1977), pp. 27-42. http://archive.numdam.org/item/MSH_1977__57__27_0/

[1] Fitting M., Intuitionnistic Logic, Model Theory and Forcing, Amsterdam, North-Holland, 1969. | MR | Zbl

[2] Fitting M., "Tableau Methods of Proof for Modal Logics ", Notre Dame Jr., XIII (1972), 237-247. | MR | Zbl

[3] Hugues C.E. & Creswell M.J., An introduction to Modal Logic, London, Methuen, 1968. | MR | Zbl

[4] Schütte K., Vollständige Systeme Modaler und Intuitionistischer Logik, Berlin, Springer, 1968. | MR | Zbl

[5] Kripke S., "A Completeness Theorem in Modal Logic", Jr. Symb. Log., 24 (1959), 1-14. | MR | Zbl

[6] Kripke S., "Semantic Analysis of Modal Logic I", Zeitschr. für Mat. Log., 8 (1962), 67-96. | Zbl

[7] Lewis C.I. & Langford C.H., Symbolic Logic, New York, Dover, 1932. | JFM | MR

[8] Mc Kinsey J.C.C. & Tarski A., "Some Theorems about Sentential Calculi of Lewis and Heyting", Jr. Symb. Log., 13 (1948). | MR | Zbl

[9] Smullyan R., First Order Logic, Berlin, Springer, 1968. | MR | Zbl