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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.