科学网—JingdeCheng的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › JingdeCheng的博文

JingdeCheng

https://wap.sciencenet.cn/?2371919

软件工程| 知识工程| 相关逻辑| 信息安全性工程| 数理逻辑| 计算科学| 人工智能| 其它| 他山之石| 逻辑学| 哲学逻辑| 科学研究|

现代模态逻辑的创始者之一 - 刘易斯: 热度 1 程京德 2025-3-21 18:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！现代模态逻辑的创始者之一 - 刘易斯 ...; 个人分类: 哲学逻辑|1797 次阅读|2 个评论热度 1

将时态逻辑引入计算机科学的图灵奖获奖者 - 普纽埃利: 热度 1 程京德 2025-3-6 13:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！将时态逻辑引入计算机科学的图灵奖获奖者 ...; 个人分类: 哲学逻辑|6544 次阅读|没有评论热度 1

现代时态逻辑的创始者 - 普莱尔: 热度 1 程京德 2025-1-6 06:38; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！现代时态逻辑的创始者 - 普莱尔 ...; 个人分类: 哲学逻辑|5427 次阅读|2 个评论热度 1

状况理论及状况语义学的创始者 - 巴怀斯: 热度 1 程京德 2024-12-23 06:38; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！状况理论及状况语义学的创始者 - 巴怀斯 ...; 个人分类: 哲学逻辑|3882 次阅读|2 个评论热度 1

现代规范逻辑的创始者 - 冯·赖特: 程京德 2024-12-6 08:19; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！现代规范逻辑的创始者 - 冯·赖特 ...; 个人分类: 哲学逻辑|6591 次阅读|2 个评论

相关逻辑的创始者 – 阿克曼: 热度 1 程京德 2023-5-15 05:58; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！相关逻辑的创始者– 阿克 ...; 个人分类: 相关逻辑|5856 次阅读|1 个评论热度 1

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2025-7-11 18:20

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部