Geodesic
A liberated version of S5.
Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 151-154 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : general logic 
@article{AMLG_1969__12_137826,
     author = {R. Meyer and H. Leblanc and K. Lambert},
     title = {A liberated version of {S5.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {151--154},
     year = {1969},
     volume = {12},
     zbl = {0193.29202},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1969__12_137826/}
}
TY  - JOUR
AU  - R. Meyer
AU  - H. Leblanc
AU  - K. Lambert
TI  - A liberated version of S5.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1969
SP  - 151
EP  - 154
VL  - 12
UR  - http://geodesic.mathdoc.fr/item/AMLG_1969__12_137826/
ID  - AMLG_1969__12_137826
ER  - 
%0 Journal Article
%A R. Meyer
%A H. Leblanc
%A K. Lambert
%T A liberated version of S5.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1969
%P 151-154
%V 12
%U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137826/
%F AMLG_1969__12_137826
R. Meyer; H. Leblanc; K. Lambert. A liberated version of S5.. Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 151-154. http://geodesic.mathdoc.fr/item/AMLG_1969__12_137826/