Logique modale propositionnelle : une vue cavalière
Eytan, M.
Mathématiques et Sciences humaines, Tome 60 (1977), p. 27-42 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1977-01-01
@article{MSH_1977__57__27_0,
     author = {Eytan, M.},
     title = {Logique modale propositionnelle : une vue cavali\`ere},
     journal = {Math\'ematiques et Sciences humaines},
     volume = {60},
     year = {1977},
     pages = {27-42},
     mrnumber = {450010},
     zbl = {0374.02012},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/MSH_1977__57__27_0}
}

Eytan, M. Logique modale propositionnelle : une vue cavalière. Mathématiques et Sciences humaines, Tome 60 (1977) pp. 27-42. http://gdmltest.u-ga.fr/item/MSH_1977__57__27_0/

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

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

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

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

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

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

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

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

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