#modal logic #necessity operator #possibility operator #truth value #formal logic #semantics