様相論理ようそうろんり<よう'そう>･ろん'り5

LogikModallogik