{'fraction_non_alphanumeric': 0.02099737532808399, 'fraction_numerical': 0.0, 'mean_word_length': 4.787878787878788, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Kamp ’ s Theorem for Intervals

We show the analogue of Kamp’s theorem for intervals on Dedekind complete flows of time. More precisely, every first order definable set of pairs of time points is definable from ordinary LTL formulas and the binary versions of until and since using just composition and case-distinction as logical operations. Kamp’s Theorem follows as a corollary.