机译:S4的心情:虚拟语态逻辑中虚拟语气模态语言的表达能力
Expressive power; Actuality operator; Subjunctive modal logic;
机译:S4的心情:虚拟语态逻辑中虚拟语气模态语言的表达能力
机译:关于二维运算符的一阶模态逻辑的表达力量
机译:基本模态直觉逻辑的表达能力作为经典FOL的一部分
机译:(1885)关于用西班牙语教授有细菌情绪作为俄语观众的外语
机译:中级西班牙语学习者的虚拟语气习得:语气与情态的关系
机译:设计欠佳的SPARQL的复杂性和表现力
机译:强不强调:在操作员的模态逻辑上表现较弱,而不是必要性