Graduate School of Information Science, Japan Advanced Inatitute of Science and Technology Tatsunokuchi, Ishikawa, 923-1292, Japan;
机译:模态逻辑产品。第三部分:模态和时间逻辑的乘积
机译:模态逻辑乘积和模代数张量积
机译:从2个顺序和线性嵌套的顺序到普通模态逻辑的自然扣除
机译:模态逻辑的正常产品
机译:拓扑模态逻辑的乘积
机译:具有通过大肠杆菌生产的复杂抗生素红霉素A的异源天然产物生物合成的逻辑实验步骤和潜力
机译:在逻辑广场和反对六角形建模的哲学认识论公理系统中综合正常和非正常模态逻辑
机译:正态模态命题逻辑的后续计算