https://intlibrary.ir/download/complexity-of-modal-logics-phd-thesis-11100/