Correction de la logique modale du premier et du second ordre S5

Logique Et Analyse 1 (1):28-45 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bayart A.. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 , pp. 28–45. . p. 54.)Bayart A.. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 , pp. 99–121. [REVIEW]Kazuo Matsumoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
La correction de la logique modale de second ordre S5 et adéquation de la logique modale de premier ordre S5.A. Bayert - 1958 - Logique Et Analyse 1:99-121.
Identification et analyse des classes d'équivalence de la logique modale par des invariants numériques.M. Sanchez-Mazas - 1987 - Logique Et Analyse 30 (20):401.
Calcul en logique du premier ordre.Yves Bouchard - 2015 - Québec (Québec): Presses de l'Université du Québec.
Deux redondances de la regle de Löb en logique modale.Marcel Crabbé - 1991 - Logique Et Analyse 133 (134):15-22.
Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiae 19:221-243.
Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire?Philippe de Rouilhan - 2005 - Philosophia Scientiae 9 (1):141-150.
Arnoud Bayart's Modal Completeness Theorems — Translated with an Introduction and Commentary.M. J. Cresswell - 2015 - Logique Et Analyse 229 (1):89-142.
Questions de logique juridique dans l'histoire de la philosophie du droit.Michel Villey - 1967 - Logique Et Analyse 37:3-22.

Analytics

Added to PP
2014-02-12

Downloads
2 (#1,893,411)

6 months
2 (#1,686,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Possible Worlds.Christopher Menzel - 2013 - Stanford Encyclopedia of Philosophy.
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
Arthur prior.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references