机译:非紧凑模态逻辑中的模型存在
Kyushu Sangyo University;
Representation of modal algebras; Non-compact logic; Modal logic;
机译:关于一元二阶逻辑的模态逻辑基础的存在
机译:模态逻辑产品。第三部分:模态和时间逻辑的乘积
机译:非正常模态和故逻辑的高度高度计算:反模型和最佳复杂性
机译:具有非紧凑半群的脉冲分数积分微分方程的存在结果
机译:对应模型:对模态逻辑的本体和语义的修订研究。
机译:在医疗保健研究中推进复杂性科学:逻辑模型的逻辑
机译:模态逻辑的模型理论 - 第三部分存在与预测