DMCA

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

by Della Monica Dario , Goranko Valentin , Sciavicco Guido