actuality

(名) 現実, 現状

様相論理学（ようそうろんりがく）は古典的な論理学では扱わない「〜でなければならない」「〜でありうる」「〜べきである」といった可能性や必然性に関わる命題を扱う論理学である。様相論理では一般に、古典論理に次のふたつの演算子が追加される。は必然性演算子と呼ばれ、「〜は必然的である」ことを意味する。は可能性演算子と呼ばれ、「〜は可能である」ことを示す。様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる。
Wikipedia.orgをもっと見ると…