二維模態邏輯之起源

二維模態邏輯 (two-dimensional modal logic) 的出現和其他邏輯系統一樣,是為強化既有邏輯系統的表達力,使之能處理更多日常語句。二維模態邏輯最早出現在 Segerberg (1973) ,不過最為人熟知卻是在 Crossley & Humbers...

Barcan Formula

模態邏輯有兩個式子,由女哲學家 Ruth Barcan Marcus 命名,分別是 (BF) $\forall x\Box Fx\to\Box\forall x Fx$ (CBF) $\Box\forall x Fx\to\forall x\Box Fx$ 第一個式...
技術提供:Blogger.