Geodesic
A possible modal reformulation of comprehension scheme
Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 2, pp. 387-388 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B45 
@article{CMUC_1983_24_2_a17,
     author = {Kraj{\'\i}\v{c}ek, Jan},
     title = {A possible modal reformulation of comprehension scheme},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {387--388},
     year = {1983},
     volume = {24},
     number = {2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a17/}
}
TY  - JOUR
AU  - Krajíček, Jan
TI  - A possible modal reformulation of comprehension scheme
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1983
SP  - 387
EP  - 388
VL  - 24
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a17/
LA  - en
ID  - CMUC_1983_24_2_a17
ER  - 
%0 Journal Article
%A Krajíček, Jan
%T A possible modal reformulation of comprehension scheme
%J Commentationes Mathematicae Universitatis Carolinae
%D 1983
%P 387-388
%V 24
%N 2
%U http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a17/
%G en
%F CMUC_1983_24_2_a17
Krajíček, Jan. A possible modal reformulation of comprehension scheme. Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 2, pp. 387-388. http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a17/

[1] G. E. Hughes M. J. Cresswell: An introduction to modal logic. Methuen and Co. Ltd., 1968. | MR