A Two sorted Hybrid Logic Including Guarded Jumps