Measurement theory; Social-choice theory; Three-valued logic; Logic of evidence; Epistemic logic;
机译:认知逻辑与认知博弈论相遇:多智能体Kripke模型与类型空间之间的比较
机译:亚结构的认知资源逻辑:理论和建模应用
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:朝着认知逻辑测量理论的逻辑
机译:在动态认知逻辑中添加时间逻辑。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:认知逻辑与认知博弈论相遇:多智能体Kripke模型与类型空间之间的比较