Voir la notice de l'article provenant de la source Numdam
@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},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {34},
number = {4},
year = {1993},
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/