手机版
様相論理学
【ようそうろんりがく】
【yousouronrigaku】
模态逻辑