机译:模态逻辑和组极化
Univ Bergen Dept Informat Sci & Media Studies N-5007 Bergen Norway;
Univ Bergen Dept Informat Sci & Media Studies N-5007 Bergen Norway|Univ Amsterdam ILLC NL-1098 XG Amsterdam Netherlands;
Univ Bergen Dept Informat Sci & Media Studies N-5007 Bergen Norway|Southwest Univ ILI Chongqing Peoples R China;
polarization; balance; social network logic; modal logic; network theory;
机译:模态逻辑产品。第三部分:模态和时间逻辑的乘积
机译:多价位置逻辑的模态等价与双模逻辑,具有多种值可访问关系
机译:通过通用模态表征基于团队逻辑的模态可定态
机译:关于Łukasiewicz逻辑的模态和多模态逻辑之间的关系
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:平均输出极化数据集用于表示温度对QCA设计的可逆逻辑电路的影响
机译:用于通用量子逻辑门的Ti:LiNbO3光子电路中的模态和极化量子位
机译:参数化Endofunctors的余代数和模态逻辑。软件工程(sEN)。