Institut de Recherche en Informatique de Toulouse, France;
机译:在差动模态多维价逻辑上
机译:逆可及梯度模态逻辑的不确定性
机译:传递结构的基本模态逻辑
机译:信息来源信任的传递与传播:模态逻辑的分析
机译:Gersonides的逻辑:对某些文档的分析,带有部分版本和“正确的三段论书”(犹太语,情态)的翻译。
机译:通过基于独立成分分析的标记进行的静息状态功能连通性对应于下丘脑以前的形态建立的初始癫痫传播区域。
机译:绑定及物帧周长的模态逻辑