Hybrid Logic, its theoretical and practical significance