Category:模态逻辑

维基百科，自由的百科全书

跳转到: 导航, 搜索
頁面分類 > 人类社会 > 知識 > 科学 > 邏輯 > 模态逻辑
頁面分類 > 人类社会 > 文化 > 哲学 > 邏輯 > 模态逻辑
頁面分類 > 人文學科 > 哲学 > 邏輯 > 模态逻辑

模态逻辑是对中介于命题逻辑和一阶逻辑之间的逻辑特别是确认有Kripke语义的逻辑的通称。

来自“http://zh.wikipedia.org/wiki/Category:%E6%A8%A1%E6%80%81%E9%80%BB%E8%BE%91”
个人工具