様相論理

様相論理（ようそうろんり、英: modal logic）は、命題が成立する様相 (modality) を扱う論理体系の総称である。形式的には、古典命題論理をはじめとする標準的な論理体系に、「必然性」や「可能性」などを表す様相演算子 □, ◇ を追加することで構成される。