On Propositional Interval Neighborhood Temporal Logics