...
机译:通过归约公理实现公共更新逻辑的表现力和完整性
Faculty of Philosophy, University of Groningen, Oude Boteringestraat 52, 9712 GL Groningen (The Netherlands);
dynamic epistemic logic; reduction axioms; speech acts; updates;
机译:具有分布式知识的公开发布逻辑:表达力,完整性和复杂性
机译:L-预分离公理在(2,L)β-差异通过完整的静态晶格值逻辑
机译:具有圆柱计算模型的命题投影时间逻辑的完整公理系统
机译:纤维化的BDI逻辑:在存在相互作用公理的情况下保持完整性
机译:完备定理和计算机程序,用于寻找从给定轴可推导的定理
机译:术语学方法论和还原性二甲基化的完整性:公开数据集的荟萃分析
机译:通过归约公理实现公共更新逻辑的表现力和完整性