机译:表征非确定性和随机系统行为等效的模态逻辑研究
Universita di Urbino 'Carlo Bo', Istituto di Scienze e Tecnologie dell'Informazione, Italy;
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:可能和必要的顺序,对等等:从模态逻辑到模态数学
机译:可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
机译:MAT逻辑:时间×模态逻辑,具有非确定性运营商,可处理通信技术中的交互式系统
机译:气动弹性结构系统的非线性随机颤振(非高斯,自参数,模态相互作用,随机参数,不确定性)。
机译:白人与亚洲人之间的医疗保健提供者和系统(CAHPS®)医疗保险调查项目的消费者评估的测量当量
机译:MAT Logic:具有不确定性运算符的时态×模态逻辑,用于处理通信技术中的交互式系统