模态逻辑是研究必然、可能及其相关概念逻辑性质的逻辑系统。

A.正确

B.错误

正确答案：A