第4个
关于量子类和模态逻辑与时序逻辑中丰富的范畴的注记
《Cahiers de Topologie et Géométrie Différentielle Cate goriques》，《Tome 34》（1993）第4期，第267-277页。
@第{CTGDC_1993__34_4_267_0条，author={罗森塔尔，金莫一世}，title＝{关于富含拟量子、模态和时间逻辑的类别的注释}，journal={Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}，页数={267--277}，publisher={Dunod\'editeur，publi\'e avec le concours du CNRS}，体积＝{34}，数字={4}，年份＝{1993}，mrnumber={1253171}，zbl={0791.18007}，语言={en}，url={http://www.numdam.org/item/CTGDC_1993__34_4_267_0/}}
TY-JOUR公司澳大利亚——罗森塔尔，金莫一世。TI——关于量子类、模态逻辑和时序逻辑丰富的范畴的注释JO-Cahiers de Topologie et Géométrie Différentiele Cate goriques公司1993年上半年SP-267号EP-277VL-34IS-4标准PB-Dunodéditeur，CNRS公共服务UR-（欧元）http://www.numdam.org/item/CTGDC_1993__34_4_267_0/LA-英语ID-CTGDC_1993__34_4_267_0急诊室-
%0期刊文章%罗森塔尔，Kimmo I。%关于量子类、模态逻辑和时序逻辑中丰富的范畴的注记%《Cahiers de Topologie et Géométrie Différentiele Cate goriques杂志》%D 1993年%电话267-277%第34版%编号4%我是CNRS新闻编辑%U型http://www.numdam.org/item/CTGDC_1993__34_4_267_0/%G en公司%对于CTGDC_1993__34_4_267_0
罗森塔尔（Rosenthal），Kimmo I.关于在量子数、模态逻辑和时间逻辑中丰富的范畴的注释。《Cahiers de Topologie et Géométrie Différentielle Cate goriques》，《Tome 34》（1993）第4期，第267-277页。http://www.numdam.org/item/CTGDC_1993__34_4_267_0/

1S.阿布拉姆斯基&S.维克斯,量子数、观测逻辑和过程语义《帝国理工学院研究报告》，编号DC 90/1，1990年。

2R.贝蒂&S.Kasangian河,树自动机与丰富范畴理论,伦德。发行。的里雅斯特马特大学17，n°1-2（1985），71-78。|先生|Zbl公司

三A.碳纤维&R.F.C.沃尔特斯,笛卡尔双范畴I，J.Pure。&应用程序.代数 49(1987), 1-32.|先生|Zbl公司

4R.卡斯利,R.乌鸦,J.梅塞盖尔&V.普拉特,时间结构，数学。Comp中的结构.科学类 1，n°2（1991），179-213。|先生|Zbl公司

5S.吉拉尔迪&G.C.梅洛尼,情态和时态谓词逻辑：预设和范畴概念化模型，数学课堂笔记。1348，施普林格（1988），130-142。|先生|Zbl公司

6S.吉拉尔迪&G.C.梅洛尼,时态和模态谓词逻辑的关系语义和拓扑语义，程序。1990年SILFS Conf。

7J.戈根,关于流程图程序的同态、正确性、终止、展开和等价性，J.Comp。系统.科学类 8(1974), 333-365.|先生|Zbl公司

8J.戈根,明确的宣言，数学。Comp中的结构.科学类 1，n°1（1991），49-67。|先生|Zbl公司

9A.乔亚尔&M.蒂尔尼,格罗森迪克伽罗瓦理论的推广,AMS回忆录 309, 1984.|先生|Zbl公司

10F.W.劳弗尔,度量空间、广义逻辑和闭范畴,伦德。半实物财务。米兰(1973), 135-166.|先生|Zbl公司

11A.皮特斯,超参数丰富范畴理论在层理论中的应用,程序。伦敦数学。Soc公司。 57-3 (1988), 433-480.|先生|Zbl公司

12G.雷耶斯&H.佐尔法哈里,Bi-Heyting代数，拓扑和模态，Rapport de Rech。，D.M.S公司编号91-9，蒙塔尔大学，1991年。

13K.I.Rosenthal，Quantales公司和他们的应用，皮特曼 数学研究笔记.234，朗曼1990。|先生|Zbl公司

14K.I.罗森塔尔,游离量子化合物,J.纯净与应用。代数 72(1991), 67-82.|先生|Zbl公司

15K.I.罗森塔尔,Girard量子体,数学。Comp.中的结构。科学类 2第1期（1992年），第93-108页。|先生|Zbl公司

16K.I.罗森塔尔,量子核、句法同余与树自动机，J.Pure&Appl.代数 77（1992），189-205年。|先生|Zbl公司

17K.I.罗森塔尔,量子理论（准备中）.|Zbl公司