机译:类型理论动态逻辑中的模态从属
logicmodalitymodal subordinationtype theorydynamic semantics;
机译:古典逻辑与模态逻辑对应的证明理论研究
机译:命题动态逻辑和模态逻辑的组合
机译:论模型 - 理论关系的模态逻辑
机译:程序的显式和模态匹配匹配:动态逻辑的证明理论描述
机译:康德理论和实践项目中的先验逻辑和情态。
机译:逻辑约束下信念系统动力学的图论分析
机译:模态逻辑S4的自然推导的范式定理(逻辑结构和计算的证明理论研究)