Les logiques modales
Séminaire de Philosophie et Mathématiques, no. 4 (1986), pp. 1-12.
@article{SPHM_1986___4_A1_0,
     author = {Porte, Jean},
     title = {Les logiques modales},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     pages = {1--12},
     publisher = {\'Ecole Normale Sup\'erieure},
     number = {4},
     year = {1986},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1986___4_A1_0/}
}
TY  - JOUR
AU  - Porte, Jean
TI  - Les logiques modales
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1986
DA  - 1986///
SP  - 1
EP  - 12
IS  - 4
PB  - École Normale Supérieure
UR  - http://www.numdam.org/item/SPHM_1986___4_A1_0/
LA  - fr
ID  - SPHM_1986___4_A1_0
ER  - 
Porte, Jean. Les logiques modales. Séminaire de Philosophie et Mathématiques, no. 4 (1986), pp. 1-12. http://www.numdam.org/item/SPHM_1986___4_A1_0/

Boolos, G. (1979) - The Unprovability of Consistency - Cambridge University Press. | MR 525201 | Zbl 0409.03009

Bressan, A. (1972) - A General Interpreted Modal Calculus - Yale University Press. | MR 401432 | Zbl 0255.02015

Chellas, B.F. (1980) - Modal Logic - Cambridge Univ. Press | MR 556867

Feys, R. (1965) - Modal Logics - Gauthier-Villars et Nauwelaerts. | MR 172789 | Zbl 0128.01203

Fine, K. (1974) - "An incomplete logic containing S4" - Theoria (Lund), 40, 23-29. | MR 536315 | Zbl 0287.02011

Gödel, K. (1932) - "Eine Interpretation der intuitionistischen Aussagenkalküls" - Ergebnisse eines mathematische Kolloquium, (Menger ed.), H. 4, Wien. | JFM 59.0866.01 | Zbl 0007.19303

Hughes, G.E., and Cresswell, M.J., An Introduction to Modal Logic - Methuen, London, 1968. | MR 439586 | Zbl 0855.03002

Hughes, G.E., and Cresswell, M.J. (1984) - A Companion to Modal Logic - Methuen, London. | MR 785934 | Zbl 0625.03005

Kielkopf, C.F. (1982) - "A completeness proof for Porte’s S a o and S a " - Logique et Analyse, 25, 435-441. | MR 707236 | Zbl 0512.03012

Kripke, S.A. (1959) - "A completeness theorem in modal logic" - The Journal of Symbolic Logic, 24, 1-14. | MR 110638 | Zbl 0091.00902

Kripke, S.A. (1962) - "The undecidability of monadic modal quantification theory" - Zeitschr. für math. Logik, 8, 113-116. | MR 159759 | Zbl 0111.01101

Kripke, S.A. (1963) - "Semantical analysis of modal logic, I" - Zeitschr. für math. Logik, 9, 67-96. | MR 146053 | Zbl 0118.01305

Kripke, S.A. (1965) - "Semantical analysis of modal logic, II" Symposium on the Theory of Models, North-Holland Publ. Co.; 206-220. | MR 199097 | Zbl 0163.00502

Lemmon, E.J. (1957) - "New foundations for Lewis modal systems" - The J. of Symbolic Logic, 22, 176-186. | MR 131970 | Zbl 0080.24203

Lemmon, E.J. (1977) - An Introduction to Modal Logic (in collaboration with D. Scott, edited by K. Segerberg) - Blackwell, Oxford. | MR 476365 | Zbl 0388.03006

Lewis, C.I., and Langford, C.H. (1932) - Symbolic Logic. Second edition (1959), Dover, New York. | JFM 58.0056.01 | MR 105349

Mcarthur, R.P. (1976) - Tense Logic - Reidel, Doordrecht. | MR 536334 | Zbl 0371.02013

Makinson, D., (1970) - "A generalisation of the concept of a relational model for modal logic" - Theoria (Lund), 36, 331-335. | MR 381934 | Zbl 0222.02019

Porte, J., (1958) - "Recherches sur les logiques modales" - Le raisonnement en mathématiques et en sciences expérimentales. Ed. du C.N.R.S.; 117-126. | MR 106166 | Zbl 0088.24704

Porte, J., (1980) - "A research in modal logics" - Logique et Analyse, 23, 3-34. | MR 594014 | Zbl 0452.03015

Porte, J., (1980a) - "Congruences in lemmon's SO.5" - Notre-Dame Journal of Formal Logic, 21, 672-678. | MR 592525 | Zbl 0426.03021

Porte, J., (1981) - "The deducibilities of S5" - Journal of Philosophical Logic, 10, 409-422. | MR 641966 | Zbl 0475.03005

Porte, J. (1987?) - "The real world, completeness and incompleteness of a modal logic" - Logique et Analyse - à paraître. | MR 925163 | Zbl 0694.03013

Thomason, S. (1972) - "Semantic analysis of tense logics" - The Journal of Symbolic Logic, 37, 150-158. | MR 316218 | Zbl 0238.02027

Thomason, S. (1974) - "An incompleteness theorem in modal logic" - Theoria (Lund), 40, 30-34. | MR 536631 | Zbl 0287.02012