机译:Lukasiewicz逻辑的模态扩展,用于建模联合力量
Acad Sci Czech Republic, Inst Informat Theory & Automat, Pod Vodarenskou Vezi 4, Prague 18208, Czech Republic;
Univ Luxembourg, Fac Sci Technol & Commun, 6 Rue Richard Coudenhove Kalergi, L-1359 Luxembourg, Luxembourg;
Coalition Logic; Lukasiewicz modal logic; neighbourhood semantics; effectivity function; game form;
机译:有理Pavelka谓词逻辑是Lukasiewicz谓词逻辑的保守扩展
机译:游戏中联盟权力的模态逻辑
机译:没有Lukasiewicz型悖论的强大且丰富的4值模态逻辑
机译:关于卢卡赛思想逻辑模态和多模态逻辑的关系
机译:对应模型:对模态逻辑的本体和语义的修订研究。
机译:角色分组是对Ontylog描述逻辑的扩展它受SNOMED中概念建模的驱动。
机译:游戏中联盟权力的模态逻辑