https://intlibrary.ir/download/advanced-modal-logic-[pp.-83-266]-26343/