Logique modale propositionnelle : une vue cavalière

M. Eytan

Mathématiques et Sciences Humaines (1977)

  • Volume: 57, page 27-42
  • ISSN: 0987-6936

How to cite

top

Eytan, 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. [1] Fitting M., Intuitionnistic Logic, Model Theory and Forcing, Amsterdam, North-Holland, 1969. Zbl0188.32003MR262056
  2. [2] Fitting M., "Tableau Methods of Proof for Modal Logics ", Notre Dame Jr., XIII (1972), 237-247. Zbl0184.28102MR294099
  3. [3] Hugues C.E. & Creswell M.J., An introduction to Modal Logic, London, Methuen, 1968. Zbl0205.00503MR439586
  4. [4] Schütte K., Vollständige Systeme Modaler und Intuitionistischer Logik, Berlin, Springer, 1968. Zbl0157.01602MR227002
  5. [5] Kripke S., "A Completeness Theorem in Modal Logic", Jr. Symb. Log., 24 (1959), 1-14. Zbl0091.00902MR110638
  6. [6] Kripke S., "Semantic Analysis of Modal Logic I", Zeitschr. für Mat. Log., 8 (1962), 67-96. Zbl0118.01305
  7. [7] Lewis C.I. & Langford C.H., Symbolic Logic, New York, Dover, 1932. MR105349JFM58.0056.01
  8. [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. [9] Smullyan R., First Order Logic, Berlin, Springer, 1968. Zbl0172.28901MR243994

NotesEmbed ?

top

You must be logged in to post comments.