様相論理
様相論理(ようそうろんり、英: modal logic)は、いわゆる古典論理の対象でない、様相(modal)と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である(様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる)。
その歴史は古くアリストテレスまで遡ることができるが、形式的な扱いは数理論理学以降、非古典論理としてである。
様相論理では一般に、標準的な論理体系に「~は必然的である」ことを意味する必然性演算子 ◻ {\displaystyle \Box } と、「~は可能である」ことを意味する可能性演算子 ◊ {\displaystyle \Diamond } のふたつの演算子が追加される。