Skip to main content

Modèles a variables de differentes sortes pour les logiques modales M″ ou S 5

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).

    Google Scholar 

  • (FMA) Les systèmes formalisés des modalités aristotéliciennes. Ibid. 48 (1950).

    Google Scholar 

  • 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.

Download references

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00485096