https://intlibrary.ir/download/modal-logics-of-ordered-trees-phd-thesis-44022/