← Gasper LOGICAL FRAMEWORKS PROBLEMS AND POTENTIALS