ようそうろんり

様相論理

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

1. 1

   modal logic

   名詞