2015年12月27日
2015年12月15日
二維模態邏輯之起源

4

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

閱讀更多 »
2015年12月8日
 
Toggle Footer