Semantic tableaux method; Acceptance logic; Judgement aggregation; Discursive dilemma;
机译:Tableaux用于将命题动态逻辑和认知逻辑与相互作用相结合
机译:2017年3月25日至29日,Brazil 2017年9月25日至29日的象征性逻辑Brasilia协会共同赞助2017年/ 2017年2017年2017年
机译:具有全局高速缓存的ExpTime Tableaux用于分级命题动态逻辑
机译:接受逻辑的TableAux
机译:与部分不对称简单排除过程相关的表格中央极限定理
机译:楼梯表非对称排除过程和Askey-Wilson多项式
机译:验收逻辑表