Rules with parameters in modal logic I

Emil Jeřábek

We study admissibility of inference rules and unification with parameters in transitive modal logics (extensions of K4), in particular we generalize various results on parameter-fr…