This is a preview of subscription content, access via your institution.
Bibliographie
Barcan, R. - (FSI) A Functional Calculus od First Order Based on Strict Implication. JSL. XI (1946).
(IIS) The Identity of Individuals in a Strict Functional Calculus of the Second order. JSL XII (1947).
Bayart, A. - (CLM) La correction de la logique modale de premier et second Ordre S5. Logique et Analyse I (1958).
(QAM) Quasi-adéquation de la logique modale de second ordre S5 et adéquation de la logique modale de premier ordre S5. Ibid II 1959).
Carnap, R. - (M Ne) Meaning and Necessity Chicago 1947.
Church, A. - (ATT) A Formulation of the Simple Theory of Types - JSL V (1940).
Feys, R. - (LNM) Les Logiques nouvelles des modalités. Rev. Phil. Louvain 40, 41 (1937–1938).
(FMA) Les systèmes formalisés des modalités aristotéliciennes. Ibid. 48 (1950).
Lewis, C. I. and Langford, C. H. - (SyL) Symbolic Logic. New York 1932.
Prior, A. N. - (FoL) - Formal Logic. Oxford 1955.
Von Wright, G. H. - (EML) An Essay in Modal Logic. Amsterdam 1951.
Rights and permissions
About this article
Cite this article
Feys, R. Modèles a variables de differentes sortes pour les logiques modales M″ ou S 5. Synthese 12, 182–196 (1960). https://doi.org/10.1007/BF00485096
Issue Date:
DOI: https://doi.org/10.1007/BF00485096