来源：豆瓣 发布时间：2025-05-20 11:07:45
9月8日更新：作者把 Canonical Kripke Model 翻译为“加农克里普克模型”，这个“加农”实乃点睛之笔，神人也。连 Canonical 这个理工科常见词都不明白，可见作者水平之劣。——————————几例图片仅供参考。此处原书为 Epistemic Logic for AI and Computer Science，豆瓣有，虽然第二版是04...>>查看原文
