机译:有期限的义务:动态宗学逻辑的形式化
Institut de Recherche en Informatique de Toulouse, France;
机译:Talmudic宗法逻辑中的义务和禁止
机译:时态和语意形式的结合:论具有历史必要性和条件义务的时态逻辑的R_t方法
机译:时态动态宗法逻辑
机译:结合动态导论逻辑和时间逻辑来指定截止日期
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:结合动态导论逻辑和时间逻辑来规定期限
机译:使用动态道义逻辑的截止日期的正式规范