...
机译:命题动态逻辑和模态逻辑的组合
机译:Tableaux用于将命题动态逻辑和认知逻辑与相互作用相结合
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:Kripke系统视角下的动态认知逻辑和动态正逻辑
机译:基于二阶命题模态逻辑的多源理由的Doxastic推理
机译:模特量化和模态逻辑的比较
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:一种新的空间推理模态逻辑:空间命题邻域逻辑
机译:知识与信仰的弱逻辑:雅皮一代的认识与逻辑逻辑。