ようそうろんりがく

様相論理学

表記・読み：ようそうろんりがく

1. 1

   modal logic

   名詞