https://intlibrary.ir/download/kripke’s-worlds:-an-introduction-to-modal-logics-v-94342/