机译:动态认知逻辑的理论证明语义分析
Aix Marseille Univ, Lab Informat Fondamentale Marseille LIF, Marseille, France;
Delft Univ Technol, Dept Values Technol & Innovat, Delft, Netherlands;
Univ Leicester, Dept Comp Sci, Leicester, Leics, England;
Delft Univ Technol, Dept Values Technol & Innovat, Delft, Netherlands;
Univ Belgrade, Inst Philosophy, Fac Philosophy, Belgrade, Serbia;
Display calculus; dynamic epistemic logic; proof-theoretic semantics;
机译:平等否定和其他认知涵盖任务的动态认知逻辑分析
机译:关于证明理论语义的直觉命题逻辑的不完整性
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:模态逻辑;认知逻辑;动态认知逻辑;解释系统;知识和变革
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:动态认知逻辑的证明理论语义分析