Logic-Independent Proof Search in Logical Frameworks: (Short Paper)