Temporal Neighborhood in Logic of Prefixes and Sub-Intervals

The addition of temporal neighborhood modality increases the complexity and expressiveness of logic.