Hybrid_Logic