Identification et analyse des classes d'équivalence de la logique modale par des invariants numériques
Logique Et Analyse 30 (20):401 (1987)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Une méthode arithmétique de décision pour le systéme modal S5 par des invariants numériques de ses classes d'équivalence.Miguel Sánchez-Mazas Ferlosio - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2):491-513.
Une Méthode Arithmétique de Décision Pour le Système Modal S5 Par Des Invariants Numériques de Ses Classes D'Équivalence.Miguel Sánchez-Mazas - 1989 - Theoria 4 (2):491-513.
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.
Sur quelques suggestions en logique modale et en logique trivalente.G. Kalinowski - 1974 - Logique Et Analyse 17 (65):111.
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.
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.
Borel Equivalence Relations Induced by Actions of the Symmetric Group.Greg Hjorth, Alexander S. Kechris & Alain Louveau - 1998 - Annals of Pure and Applied Logic 92 (1):63-112.
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]. [REVIEW]Arnould Bayart - 1959 - Logique Et Analyse 2 (6):99-121.
Mathematical Objects Arising From Equivalence Relations and Their Implementation in Quine's NF.Thomas Forster - 2016 - Philosophia Mathematica 24 (1):nku005.
Classes of Markov-Like K-ALGORITHMS.Zdzislaw Grodzki & Jerzy Mycka - 1996 - Reports on Mathematical Logic:83-99.
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.
On Σ1 1 Equivalence Relations with Borel Classes of Bounded Rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.
Labelling Classes by Sets.M. Victoria Marshall & M. Gloria Schwarze - 2005 - Archive for Mathematical Logic 44 (2):219-226.
Analytics
Added to PP index
2015-02-06
Total views
0
Recent downloads (6 months)
0
2015-02-06
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
