@第{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/}}