聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 从动态命题逻辑PDL到动态道义逻辑DDL
出处:哲学动态 2006年第2期55-58,共4页
摘要:一 动态命题逻辑的来源和基本构想 动态逻辑DL(Dynamic Logic)是关于行动和程序推理的形式系统。DL可... 显示全部
关键词: 命题逻辑 道义逻辑 一阶谓词逻辑 经典逻辑 动态逻辑 语形结构 基本构想 形式系统 模态逻辑 真值
在线阅读 下载全文
找到1条结果
`