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.
@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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/CTGDC_1993__34_4_267_0/

1 S. Abramsky & S. Vickers, Quantales, observational logic, and process semantics, Imperial College Research Report N° DC 90/1, 1990.

2 R. Betti & S. Kasangian, Tree automata and enriched category theory, Rend. Istit. Mat. Univ. Trieste 17, n° 1-2 (1985), 71-78. | MR | Zbl

3 A. Carboni& R.F.C. Walters, Cartesian bicategories I, J. Pure. & Appl. Algebra 49 (1987), 1-32. | MR | Zbl

4 R. Casley, R. Crow, J. Meseguer& V. Pratt, Temporal structures, Math. Structures in Comp. Science 1, n° 2 (1991), 179-213. | MR | Zbl

5 S. Ghilardi & G.C. Meloni, Modal and tense predicate logic: models in presheaves and categorical conceptualization, Lecture Notes in Math. 1348, Springer (1988), 130-142. | MR | Zbl

6 S. Ghilardi & G.C. Meloni, Relational and topological semantics for temporal and modal predicative logic, Proc. of the SILFS Conf. 1990.

7 J. Goguen, On homomorphisms, correctness, termination, unfoldments and equivalence of flow diagram programs, J. Comp. Syst. Science 8 (1974), 333-365. | MR | Zbl

8 J. Goguen, A categorical manifesto, Math. Structures in Comp. Science 1, n° 1 (1991), 49-67. | MR | Zbl

9 A. Joyal & M. Tierney, An extension of the Galois theory of Grothendieck, AMS Memoirs 309, 1984. | MR | Zbl

10 F.W. Lawvere, Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. e Fis. Milano (1973), 135-166. | MR | Zbl

11 A. Pitts, Applications of sup-lattice enriched category theory to sheaf theory, Proc. London Math. Soc. 57-3 (1988), 433-480. | MR | Zbl

12 G. Reyes& H. Zolfaghari, Bi-Heyting algebras, topos and modalities, Rapport de Rech., D.M.S. N° 91-9, Univ. Montréal 1991.

13 K.I. Rosenthal, Quantales and Their Applications, Pitman Research Notes in Math. 234, Longman 1990. | MR | Zbl

14 K.I. Rosenthal, Free quantaloids, J. Pure & Appl. Algebra 72 (1991), 67-82. | MR | Zbl

15 K.I. Rosenthal, Girard quantaloids, Math. Structures in Comp. Science 2 N°1 (1992), 93-108. | MR | Zbl

16 K.I. Rosenthal, Quantaloidal nuclei, the syntactic congruence and tree automata, J. Pure & Appl. Algebra 77 (1992), 189-205. | MR | Zbl

17 K.I. Rosenthal, The theory of quantaloids (in preparation). | Zbl