动态认知逻辑的多类型显示演算 电子书下载

原名:Multi-type Display Calculus for Dynamic Epistemic Logic
作品简介:认知逻辑，并喜欢贝尔纳普式的削减消除。关键词：显示演算、动态认知逻辑、模块化、多类型系统。数学。……