H
ybrid_
L
ogic
Hybrid_Logic