Logique modale propositionnelle : une vue cavalière
Mathématiques et Sciences Humaines (1977)
- Volume: 57, page 27-42
- ISSN: 0987-6936
Access Full Article
topHow to cite
topEytan, M.. "Logique modale propositionnelle : une vue cavalière." Mathématiques et Sciences Humaines 57 (1977): 27-42. <http://eudml.org/doc/94192>.
@article{Eytan1977,
author = {Eytan, M.},
journal = {Mathématiques et Sciences Humaines},
language = {fre},
pages = {27-42},
publisher = {Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique},
title = {Logique modale propositionnelle : une vue cavalière},
url = {http://eudml.org/doc/94192},
volume = {57},
year = {1977},
}
TY - JOUR
AU - Eytan, M.
TI - Logique modale propositionnelle : une vue cavalière
JO - Mathématiques et Sciences Humaines
PY - 1977
PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
VL - 57
SP - 27
EP - 42
LA - fre
UR - http://eudml.org/doc/94192
ER -
References
top- [1] Fitting M., Intuitionnistic Logic, Model Theory and Forcing, Amsterdam, North-Holland, 1969. Zbl0188.32003MR262056
- [2] Fitting M., "Tableau Methods of Proof for Modal Logics ", Notre Dame Jr., XIII (1972), 237-247. Zbl0184.28102MR294099
- [3] Hugues C.E. & Creswell M.J., An introduction to Modal Logic, London, Methuen, 1968. Zbl0205.00503MR439586
- [4] Schütte K., Vollständige Systeme Modaler und Intuitionistischer Logik, Berlin, Springer, 1968. Zbl0157.01602MR227002
- [5] Kripke S., "A Completeness Theorem in Modal Logic", Jr. Symb. Log., 24 (1959), 1-14. Zbl0091.00902MR110638
- [6] Kripke S., "Semantic Analysis of Modal Logic I", Zeitschr. für Mat. Log., 8 (1962), 67-96. Zbl0118.01305
- [7] Lewis C.I. & Langford C.H., Symbolic Logic, New York, Dover, 1932. MR105349JFM58.0056.01
- [8] Mc Kinsey J.C.C. & Tarski A., "Some Theorems about Sentential Calculi of Lewis and Heyting", Jr. Symb. Log., 13 (1948). Zbl0037.29409MR24396
- [9] Smullyan R., First Order Logic, Berlin, Springer, 1968. Zbl0172.28901MR243994
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.