Admissibility and Unification in the Modal Logics Related to S4.2
摘要
We study unification and admissibility for an infinite class of modal logics. Conditions superimposed to these logicsare to be decidable, Kripke complete, and generated by the classes of rooted frames possessing the greatest clusters of states(in particular, these logics extend modal logic S4.2).Given such logic