正規様相論理

Normal Modal Logic