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 [Book Review]

Journal of Symbolic Logic 30 (3):373-374 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200056139

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

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.
Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic].Arnould Bayart - 1959 - Logique Et Analyse 2 (6):99-121.
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.
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.
Sur quelques suggestions en logique modale et en logique trivalente.G. Kalinowski - 1974 - Logique Et Analyse 17 (65):111.
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.
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.
Deux redondances de la regle de Löb en logique modale.Marcel Crabbé - 1991 - Logique Et Analyse 133 (134):15-22.
La connaissance commune: une sémantique pour la logique modale.L. Lismont & P. Mongin - 1993 - Logique Et Analyse 133 (134):133-149.
André THAYSE, "Approche logique de l'Intelligence Artificielle". Tome 2: "De la logique modale à la logique des bases de données". [REVIEW]Véronique Van Cleemput - 1990 - Revue Internationale de Philosophie 44 (1):140.
Colloque international de Logique. Bruxelles 1958.A. Bayart - 1958 - Logique Et Analyse:46.
Logique et Sémantique: Critique d'une interprétation non-standard de la logique déontique.Clayton Peterson - 2010 - Ithaque 7:47-67.
Comment articuler logique déontique et logique modale l.Jean-Louis Gardies - 1983 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 3.
Issman S.. Exposé de H. B. Curry. Logique et analyse , n.s. vol. 2 , pp. 30–31.Issman S.. Exposé de J. H. Woodger. Logique et analyse , n.s. vol. 2 , p. 31.Issman S.. Exposé de K. Ajdukiewicz. Logique et analyse , n.s. vol. 2 , pp. 31–34.Loreau J.. Discussions sur les rapports de MM. Scarpelli et Ross. Logique et analyse , n.s. vol. 2 , pp. 35–41.Loreau J.. Discussion générale. Logique et analyse , n.s. vol. 2 , pp. 44–47. [REVIEW]A. Robinson - 1960 - Journal of Symbolic Logic 25 (1):91-91.
Logique Déontique et Logique des Normes.Clayton Peterson - 2010 - Ithaque 6:31-52.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,224,450)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references