Geodesic
A note on categories enriched in quantaloids and modal and temporal logic
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 4, pp. 267-277 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@article{CTGDC_1993__34_4_267_0,
     author = {Rosenthal, Kimmo I.},
     title = {A note on categories enriched in quantaloids and modal and temporal logic},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {267--277},
     year = {1993},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {34},
     number = {4},
     mrnumber = {1253171},
     zbl = {0791.18007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CTGDC_1993__34_4_267_0/}
}
TY  - JOUR
AU  - Rosenthal, Kimmo I.
TI  - A note on categories enriched in quantaloids and modal and temporal logic
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1993
SP  - 267
EP  - 277
VL  - 34
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://geodesic.mathdoc.fr/item/CTGDC_1993__34_4_267_0/
LA  - en
ID  - CTGDC_1993__34_4_267_0
ER  - 
%0 Journal Article
%A Rosenthal, Kimmo I.
%T A note on categories enriched in quantaloids and modal and temporal logic
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1993
%P 267-277
%V 34
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://geodesic.mathdoc.fr/item/CTGDC_1993__34_4_267_0/
%G en
%F CTGDC_1993__34_4_267_0
Rosenthal, Kimmo I. A note on categories enriched in quantaloids and modal and temporal logic. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 4, pp. 267-277. http://geodesic.mathdoc.fr/item/CTGDC_1993__34_4_267_0/