将时态逻辑引入计算机科学的图灵奖获奖者 - 普纽埃利
现代时态逻辑的创始者 - 普莱尔
状况理论及状况语义学的创始者 - 巴怀斯
现代规范逻辑的创始者 - 冯·赖特
哲学逻辑(3) – 量子逻辑学(Quantum Logic)
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2026-2-27 17:26
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社