#modal logic #necessity #kripke semantics #logic symbols #alethic modality