正規様相論理

ウィキペディア

正規様相論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/05/04 09:41 UTC 版)

論理学において、正規様相論理（せいきようそうろんり、normal modal logic）とは、以下の条件を満たす様相論理式（modal formulas）の集合 L である。

• 命題論理のすべての恒真式を含む。
• クリプキスキーマ( $\Box (A\to B)\to (\Box A\to \Box B)$

  この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:哲学）。

  • 表示
  • 編集