様相論理 (ようそうろんり) — modal logic | Kumi Dictionary