ヨウソウ (ロンリガク)
Yoso (ronrigaku)
様相論理入門 / G. E. ヒューズ, M. J. クレスウェル 著 ; 三浦聡 [ほか]訳