Logical frameworks are essentially strictly related to proof assistance. What is really a proof assistant? Well, if we build an interactive proof development environment for higher order constructive type theory, since constructive type theory is can be use as computational metamodel, this readily provides a generally interactive proof development environment for a generic logic.
And this can be used and appreciated by mathematicians, programmers, software engineers. So, essentially, the idea is that a proof assistant for higher order constructive type theory is really a generic proof assistant. What we can do is we can represent arbitrary systems and specifications, we can represent the properties of the systems, we can interactively develop proofs and we can automatically proof check.