様相論理 [Dạng Tương Luận Lý]

ようそうろんり

Danh từ chung

logic mô thức