The unification problem in a propositional logic is to determine, given formula φ, whether there exists substitution σ such that σ(φ) logic. In case, unifier of φ. When unifiable has minimal complete sets unifiers, it either infinitary, finitary, or unitary, depending on the cardinality its unifiers. Otherwise, nullary. this paper, we prove modal $\mathbf {K}+\square \square \bot $ , formulas a...

ferdowsi has composed a few lines concerning himself at the end of the story of shapur-e zulaktaf beginning with: چو آدینه هرمزد بهمن بود بر این کار فرّخ نشیمن بود scholars have proposed different hypotheses about these lines. some believe that these lines reflect ferdowsi’s desire to see the prophet mohammad after his death, as the pleasure of completing this part of shāh-nāmeh, and the celebra...

ferdowsi has remonstrated philosophy and philosophers in his shahnameh. was he really opposed to rationalism? it’s not the thing gotten of shahnameh. he invites his readers to live wise, so he can’t be against wisdom. are philosophers in a coherent group with shared ideas? ferdowsi era doesn’t include such a thing. so which group of philosophers was exposed to his critical considerations? hakim...