About the Unification Types of Modal Logics
摘要
The unification problem in a modal logic is to determine whether given formulas have instances belonging to this modal logic. In this paper, we survey some known results about the unification types of modal logics.