Category:模态逻辑

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

跳转到： 导航, 搜索

頁面分類 > 人类社会 > 知識 > 科学 > 邏輯 > 模态逻辑

頁面分類 > 人类社会 > 文化 > 哲学 > 邏輯 > 模态逻辑

頁面分類 > 人文學科 > 哲学 > 邏輯 > 模态逻辑

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

相關的维基共享资源：

模态逻辑

"模态逻辑"分类中的页面

本分类包含下列17个页面，共有17个页面。

* 模态逻辑 G 关系语义 N 内部代数 S S5 (模态逻辑) 严 严格条件 中 中间逻辑

反 反事实条件 可 可及关系 可能世界 哥 哥德爾本體論證明 时 时间逻辑 模 模态一阶逻辑

模 续 模态伙伴 模態代數 正 正规模态逻辑 虚 虚拟可能性 认 认识逻辑

来自“http://zh.wikipedia.org/w/index.php?title=Category:%E6%A8%A1%E6%80%81%E9%80%BB%E8%BE%91&oldid=16062078”

2个分类:

• 邏輯
• 數理邏輯

1个隐藏分类:

• 使用Catnav的页面

• 本页面最后修订于2011年3月22日 (星期二) 07:59。
  
• 本站的全部文字在知识共享 署名-相同方式共享 3.0协议之条款下提供，附加条款亦可能应用。（请参阅使用条款）
  Wikipedia®和维基百科标志是维基媒体基金会的注册商标；维基™是维基媒体基金会的商标。
  维基媒体基金会是在美国佛罗里达州登记的501(c)(3)免税、非营利、慈善机构。
  

• 隐私政策
• 关于维基百科
• 免责声明
• 移动浏览