Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders | Publicación