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
topReferences
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