💭🌍➡️🌍

#modal logic #possible worlds #kripke semantics #accessibility relation #semantics

□/◇

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