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
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  - 
%0 Journal Article
%A Porte, Jean
%T Les logiques modales
%J Séminaire de Philosophie et Mathématiques
%D 1986
%P 1-12
%N 4
%I École Normale Supérieure
%U http://www.numdam.org/item/SPHM_1986___4_A1_0/
%G fr
%F SPHM_1986___4_A1_0
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 | Zbl

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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