modal logic

[ریاضیات] منطق موجه